Our events are flying, doing actions, getting, receiving and losing.
Our actions are selling, sending, telegraphing. Distinct event terms
are distinct. We have two people constants, Junior and Daddy. We have
among our objects Cash, a message ( ), cities,
including London, Glasgow and Moscow. We also have tickets, and
functions which yield destination *Dest* and source *Source* of a
flight, given a ticket for that flight. We have unique names for
all fluent terms, and thus for all the terms that can appear in
fluents. Our fluent forming functions are *At* which takes a person
and a place, *Has* which takes a persona and a thing, *Happens*, which
takes an event, and the earlier fluents of *On* and *Clear*. Our
sorts are disjoint, and the sorts of variables are to be inferred by
their use.

This is equivalent to

As this is the only effect axiom for flying, we can change this to the equivalence.

This immediately gives,

as any set of preconditions is sufficient. We add the obvious axioms
that describe *Changes* for the following effect axioms using the same method.

Thu Jul 8 18:10:07 PDT 1999