Assertion list
new division (subgroup of division ) → HasProperty
Results from Ascent++: 1
new division → HasProperty → the 9th infantry division 0.31