Assertion: flop's input | /r/HasProperty | different
Facets:
Source sentences:
text: If the inputs of both the set (J) and reset (K) are different, then the output ‘Q’ has the value of output ‘J’