Inverse relations

[ .. ] → kbdef:hasDerivative → Xprmntl ptry / G.J. de Rook