Assertion list
reporting agency (subgroup of agency ) → IsA

Results from Ascent++: 1
reporting agencyIsA to prove in better position 0.68