Action precondition axiom
= Action precondition axiom
{title2=$a_t\to\bigwedge_{p\in\operatorname{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.