Deterministic Chinese Parsing Using Formal Semantics