module perception
  sort declarations
    perceive :: actions
    recognize :: perceive

  axioms
    false if instance(X, perceive),
             -defined_object(X).

    false if instance(X, perceive),
             agent(X, A),
             -instance(X, tangible_entity).