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