Assertion list
local union (subgroup of union ) → IsA
Results from Ascent++: 1
local union → IsA → direct relationship 0.25