Inverse relations

[ .. ] → kbdef:hasDerivative → Claaranneke / D. Koelensmid-van der Staay