The derivational morphology axioms (Table 6) can be seen as introducing frame-theoretic knowledge to the QA system.
it establishes a logical link between the semantic representations of intransitive and transitive verbs.