Assertion: multiplexer's number | /r/HasProperty | m selection lines
Facets:
Source sentences:
text: If there are m selection lines, then the number of possible input lines is 2m.