Action precondition axiom ($a_t\to {\bigwedge }_{p\in \mathrm{Pre}(a)}{p}_t$)

A clause or formula ensuring a selected action occurrence has all of its preconditions satisfied at the current time. It is one part of a plan encoding; action effects, persistence, initial conditions and goals require additional constraints.