Assertion list
cirrus (primary) → HasProperty
Results from Ascent++: 4
cirrus → HasProperty → handmade 0.49
cirrus → HasProperty → thin 0.46
cirrus → HasProperty → high 0.25
cirrus → HasProperty → fast 0.16