(=> (Natural ?X) (> ?X 0))
(<=> (Natural ?X) (And (Integer ?X) (> ?X 0)))
(<=> (Has-At-Least@Ol-User%Slot-Constraint-Sugar ?Instance ?Binary-Relation ?N) (And (Binary-Relation@Ol-User%Kif-Relations ?Binary-Relation) (Natural ?N) (>= (Value-Cardinality@Frame-Ontology ?Instance ?Binary-Relation) ?N))) (<=> (Has-At-Most@Ol-User%Slot-Constraint-Sugar ?Instance ?Binary-Relation ?N) (And (Binary-Relation@Ol-User%Kif-Relations ?Binary-Relation) (Natural ?N) (=< (Value-Cardinality@Frame-Ontology ?Instance ?Binary-Relation) ?N)))
(Nth-Domain@Frame-Ontology Nth@Ol-User%Kif-Lists 2 Natural) (Nth-Domain@Frame-Ontology Nthrest@Ol-User%Kif-Lists 2 Natural) (Nth-Domain@Frame-Ontology Has-At-Least@Ol-User%Slot-Constraint-Sugar 3 Natural) (Nth-Domain@Frame-Ontology Has-At-Most@Ol-User%Slot-Constraint-Sugar 3 Natural)