Assertion list
owner (aspect of pointer ) → CapableOf
Results from Ascent++: 1
owner → CapableOf → receive request 0.68