Knowledge Authoring with Factual English, Rules, and Actions