WATSON: A Dependency Directed Inference System