Assertion list
dinner plate (primary) → HasProperty
Results from Ascent++: 2
dinner plate → HasProperty → large 0.81
dinner plate → HasProperty → perfect 0.16