; define relations:
(define class member subclass superclass)

; Fido is a dog.
(describe (assert member Fido class dog))

; Dogs are mammals.
(describe (assert subclass dog superclass mammal))

; Members of a class are members of the class's superclasses
(describe (assert forall ($x $y $z)
		  &ant (build member *x class *y)
		  &ant (build subclass *y superclass *z)
		  cq   (build member *x class *z)))

; Who is a member of what?
(describe (deduce member $m class $c))

; Describe the network
(describe *nodes)

; reset the net
(resetnet)

; clear inference
(clear-infer)

; Describe the network
(describe *nodes)

; define relations:
(define class member subclass superclass)

; Fido is a dog.
(describe (assert member Fido class dog))

; Dogs are mammals.
(describe (assert subclass dog superclass mammal))

; Members of a class are members of the class's superclasses
(define-path class
             (compose class (kstar (compose subclass- ! superclass))))

;Who is a member of what?
(describe (deduce member $m class $c))

; Describe the network
(describe *nodes)