Assertion: flop's input | /r/HasProperty | labeled reset
Facets:
Source sentences:
text: Besides the CLOCK input, an SR flip-flop has two inputs, labeled SET and RESET.