Assertion: flop's state | /r/HasProperty | inverse
Facets:
value: to the next state
type: LOCATION
Source sentences:
text: However, if the i/p of the T is 1 then the present state is inverse to the next state.