Assertion list
wing (aspect of bird ) → AtLocation
Results from Ascent++: 1
wing → AtLocation → proportion 0.25