Inverse relations

[ .. ] → kbdef:hasDerivative → Boog-ontspanning / P.S. Schull