Assertion list
parent (aspect of crane ) → HasProperty
Results from Ascent++: 1
parent → HasProperty → happy 0.16