Assertion list
public sector union (subgroup of union ) → HasPrerequisite
Results from Ascent++: 1
public sector union → HasPrerequisite → worker 0.37