general structure of clause parsing. many compilation probs