(recommend-all :receiver ANS :sender pp :language CDL :ontology capabilities :content (task :state-language fopl :input-constraints ((elt JohnSmith Person) (Is JohnSmith Injured) (Has Location JohnSmith Appletown)) :output-constraints ((not (Is JohnSmith Injured)))))