Assertion list for term "one state".

Results from Ascent++: 1
bit AtLocationone state 0.25