Assertion: current state | /r/HasProperty | 1 s 1 s 2 s 1 s
Facets:
Source sentences:
text: Input Current state 0 1 S 1 S 2 S 1 S 2 {S 1 , S 2 } S 2