Assertion: output | /r/HasProperty | inverted
Facets:
Source sentences:
text: A Johnson counter (or switch-tail ring counter, twisted ring counter, walking ring counter, or Möbius counter) is a modified ring counter, where the output from the last stage is inverted and fed back as input to the first stage.