Assertion list
nest (aspect of termite ) → HasProperty
Results from Ascent++: 2
nest → HasProperty → large 0.32
nest → HasProperty → underground 0.23