Assertion: flop's input | /r/HasProperty | shorted
Facets:
Source sentences:
text: The J and K inputs will be shorted and used as T input.