A classification of first-order progressable action theories in situation calculus