Note that in our setting, we do not focus in term/definition pairs, but rather a full-sentence definition.
we do not know a priori which term is the definiendum, and thus we do not perform a generalization step to convert it to a wildcard, which is common practice in the DE literature Reiplinger et al., 2012;Jin et al., 2013;Boella et al., 2014).