Quelle  order_strength.prf

(order_strength
 (stronger_reflexive 0
  (stronger_reflexive-1 nil 3314716647 ("" (grind) nil nil)
   ((T formal-type-decl nil order_strength nil)
    (member const-decl "bool" sets nil)
    (subset? const-decl "bool" sets nil)
    (reflexive? const-decl "bool" relations nil))
   shostak))
 (weaker_irreflexive 0
  (weaker_irreflexive-1 nil 3314716652 ("" (grind) nil nil)
   ((T formal-type-decl nil order_strength nil)
    (member const-decl "bool" sets nil)
    (subset? const-decl "bool" sets nil)
    (irreflexive? const-decl "bool" relations nil))
   shostak))
 (weaker_antisymmetric 0
  (weaker_antisymmetric-1 nil 3314716655
   ("" (grind :if-match all) nil nil)
   ((T formal-type-decl nil order_strength nil)
    (member const-decl "bool" sets nil)
    (subset? const-decl "bool" sets nil)
    (antisymmetric? const-decl "bool" relations nil))
   shostak)))