Assertion list
ghost (primary) → PartOf
Results from Ascent++: 1
ghost → PartOf → objective existence 0.25