Assertion list
sextant (primary) → HasProperty
Results from Ascent++: 2
sextant → HasProperty → old fashioned 0.25
sextant → HasProperty → functional 0.16