Assertion list
intended recipient (subgroup of recipient ) → IsA
Results from Ascent++: 1
intended recipient → IsA → user 0.25