Assertion list
new firm (subgroup of firm ) → MadeOf
Results from Ascent++: 1
new firm → MadeOf → advance 0.20