Assertion list
tusk (aspect of walrus ) → HasProperty
Results from Ascent++: 1
tusk → HasProperty → longer 0.68