Assertion list
tusk (aspect of narwhal ) → HasProperty
Results from Ascent++: 1
tusk → HasProperty → flexible 0.42