Assertion list
nest (aspect of ant ) → AtLocation
Results from Ascent++: 2
nest → AtLocation → the soil 0.35
nest → AtLocation → tree 0.35