Assertion list
nest (aspect of ant ) → HasProperty
Results from Ascent++: 2
nest → HasProperty → small 0.55
nest → HasProperty → impermeable 0.25