I think this expression requires a SatisfyingSetLink as the second argument of the outer InheritanceLink.