Computational linguistics
Knowledge
Natural language processing
Textual entailment
SemEval
Entailment
Inference
Machine learning
WordNet
Logic
Science
Logical consequence