An axiomatization of English words related to change-of-state. Axioms anchor these words to core theories developed by Jerry R. Hobbs