Assertion list
three (primary) → HasProperty
Results from Ascent++: 1
three → HasProperty → creative 0.16