Formal semantics and pragmatics for natural language querying - Clifford, James 1945- (Cambridge tracts in theoretical computer science ;, 1990)