Ascent++
Search
Assertion list
for term "one of the following states".
Results from
Ascent++
:
1
variable
→
AtLocation
→
one of the following states
0.30