Assertion list
head (aspect of goat ) → MadeOf
Results from Ascent++: 1
head → MadeOf → arm 0.46