Assertion list
nest (aspect of osprey ) → HasA
Results from Ascent++: 1
nest → HasA → egg 0.25