Assertion list
hovercraft (primary) → HasProperty
Results from Ascent++: 2
hovercraft → HasProperty → unique 0.25
hovercraft → HasProperty → unaffected 0.16