Assertion list
neck (aspect of duck ) → HasProperty
Results from Ascent++: 2
neck → HasProperty → long 0.25
neck → HasProperty → short 0.25