Assertion list
new firm (subgroup of firm ) → HasProperty
Results from Ascent++: 1
new firm → HasProperty → small 0.46