Fixed bug with missing axioms. Added state symbols.