Assertion list
unison (primary) → HasProperty
Results from Ascent++: 2
unison → HasProperty → perfect 0.55
unison → HasProperty → clear 0.29