class presentation recognizing textual entailment theorem proving first-order logic predicate logic resolution description logics determiner parsing language models syntax english
See more