Assertion list
sycamore (primary) → HasProperty
Results from Ascent++: 2
sycamore → HasProperty → hardy 0.35
sycamore → HasProperty → great 0.26