
(nice devil)
(and (height tall) (weight heavy))
(<= (nice nothing)  (not (nice  finin)) (nice devil) )
(<= (degree PhD) (pass qualify) (and (not (fail  prelim)) (defense disertation)))
(<= (rel1 "this") (rel2 "that"))



