Assertion list
grandparent (aspect of grandchild ) → HasProperty
Results from Ascent++: 1
grandparent → HasProperty → wise 0.49