module ext_locomotion
  depends on locomotion

  sort declarations
    organism :: living_entity
    animal :: organism

  axioms
    false if instance(X, walk),
             agent(X, A),
             -instance(A, animal).