The Advantage of Semantic Theory Over Predicate Calculus in the Representation of Logical Form in Natural Language