Assertion list
nest (aspect of hornet ) → HasA
Results from Ascent++: 2
nest → HasA → only one opening 0.41
nest → HasA → one queen 0.36