Assertion list
horn (aspect of yak ) → HasA
Results from Ascent++: 1
horn → HasA → upright shape 0.25