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