The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding (ACL-MIT Series in Natural Language Processing)