A Natural Logic for Natural-Language Knowledge Bases