Assertion: hole punch | /r/HasProperty | an office tool
Facets:
Source sentences:
text: A hole punch, also known as hole puncher, or paper puncher, is an office tool that is used to create holes in sheets of paper, often for the purpose of collecting the sheets in a binder or folder.