EL allows us to express a degree of uncertainty in the formulation of the converse, and this is appropriate to the extent that lexical glosses cannot be expected to provide complete, "airtight" definitions, but rather just the most important semantic content.
in this paper we limit ourselves to discussion of the "forward" version of gloss-derived axioms.