Assertion: flop's input | /r/HasProperty | lever
Facets:
Source sentences:
text: The D flip-flop (in our example) has 2 inputs, one is the actual input (right lever) and the other is our save mechanism (left lever).