A Theorem Prover for Action Performance