For the triple (planet, moon, body) using immediate definitions of pivot and comparison incorrectly suggests that the triple (planet, moon, body) is discriminative.
after expanding using super-type definitions, the model correctly identifies body as a property of both planet and moon.