Assertion list
new factory (subgroup of factory ) → IsA
Results from Ascent++: 1
new factory → IsA → under construction 0.30