Assertion list
citron (primary) → HasProperty
Results from Ascent++: 2
citron → HasProperty → lovely 0.59
citron → HasProperty → wrong 0.31