Assertion: punch | /r/HasProperty | zone
Facets:
Source sentences:
text: The 26 letters have two punches (zone  + digit [1–9]).
text: Most special characters have two or three punches (zone [12,11,0, or none]
text: The introduction of EBCDIC in 1964 defined columns with as many as six punches (zones  + digit [1–7]).