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