module unauthorized_locomotion
  depends on locomotion

  sort declarations
    trespass :: go_to
    invade :: trespass

  function declarations
    fluents
      basic
        possesses : entity * entity -> booleans

  axioms
    false if instance(X, trespass),
             agent(X, A),
             destination(X, D),
             possesses(P, D),
             A != P.