Assertion list
new firm (subgroup of firm ) → HasA
Results from Ascent++: 1
new firm → HasA → office 0.31