Assertion list
point system (primary) → HasProperty

Results from Ascent++: 2
point systemHasProperty simple 0.41
point systemHasProperty separate 0.25