Assertion list for term "7 states".
Results from Ascent++: 1
branch (aspect of bank) → AtLocation → 7 states 0.28