Assertion list
paper clip (primary) → HasProperty
Results from Ascent++: 1
paper clip → HasProperty → simple 0.46