Assertion: flop's state | /r/HasProperty | q
Facets:
Source sentences:
text: Analysing the above assembly as a two stage structure considering previous state (Q’) to be 0