Assertion list
union (primary) → PartOf

Results from Ascent++: 3
unionPartOf the solution 0.37
unionPartOf the process 0.36
unionPartOf the problem 0.25