Assertion: single command | /r/HasProperty | executed
Facets:
Source sentences:
text: For example, move up, move up may refer to a single (move up) command that should be executed twice, or it may refer to two commands, each of which happens to do the same thing (move up).