But it is unable to distinguish between events and propositions and between predicate and sentence modifiers, and the formal interpretation of quantification in HLF can lead to contradiction (Schubert, 2015).
in this paper we limit ourselves to discussion of the "forward" version of gloss-derived axioms.