Assertion list
local union (subgroup of union ) → HasA
Results from Ascent++: 2
local union → HasA → pension plans 0.41
local union → HasA → training facilities 0.41