Assertion: flop's output | /r/HasProperty | binary value
Facets:
Source sentences:
text: The output is a binary value whose value is equal to the number of pulses received at the CK input.