Assertion list
perceiver (primary) → HasProperty
Results from Ascent++: 2
perceiver → HasProperty → more accurate 0.25
perceiver → HasProperty → spontaneous 0.25