Inverse relations

[ .. ] → schema:isBasedOn → Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmans