Assertion: flop's output | /r/CapableOf | change to 0001 2
Facets:
value: from 1110 2
type: TEMPORAL
value: at ck pulse 8 for example
type: TEMPORAL
Source sentences:
text: At CK pulse 8 for example, the outputs Q 0 to Q 3 should change from 1110 2 (7 10 ) to 0001 2 (8 10 ), however what really happens (reading the vertical columns of 1s and 0s in Fig.