Assertion list
head (aspect of viper ) → HasA
Results from Ascent++: 1
head → HasA → tubular fangs 0.16