Assertion list for term "two states".
Results from Ascent++: 3
lake → AtLocation → two states 0.30
circuit → HasA → two states 0.27
spin → HasA → two states 0.25