Inverse relations

[ .. ] → kbdef:hasDerivative → Op de valreep / W.J. Boot