Logic
Logical consequence
Philosophy of logic
Textual entailment
SemEval
Entailment
Monotonicity of entailment
Implication
Implicature
Argument
WordNet
Machine learning