exemplo

(or (and (is-person ?who)
				   (is-est ?where)
				   (is-loc ?loc)
				   (is-obj ?what)
				   (at ?who ?where)
				   (and (have ?what ?who)
				   (at ?what ?loc)
				   (adj ?where ?loc)))
				   (isolada ?where))