sentence1: in this paper , we present a logic form representation of knowledge which captures syntactic dependencies as well as semantic relations between concepts .
sentence2: this paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments .