Assertion list
nest (aspect of hornet ) → MadeOf
Results from Ascent++: 1
nest → MadeOf → paper 0.31