Inverse relations

[ .. ] → kbdef:hasDerivative → De disch / door H. Ellens