From The Collaborative International Dictionary of English v.0.44 [gcide]:
Punch \Punch\, verb (used with an object) [imp. & p. p. {Punched}; p. pr. & vb. n. {Punching}.] [From {Punch}, noun, a tool; cf. F. poin[,c]onner.] To perforate or stamp with an instrument by pressure, or a blow; as, to punch a hole; to punch ticket.
{Punching machine}, or {Punching press}, a machine tool for punching holes in metal or other material; -- called also {punch press}.
Define.com is a registered nonprofit corporation dedicated solely to the global public interest and the advancement of humanity. It belongs to all of us who have a desire to promote electronic democracy, science, creativity, imagination, reason, critical thinking, peace, race and gender equality, civil rights, equal access to education, personal liberty, free speech, animal rights, compassionate and nonviolent parenting, social and economic justice, global monetary reform, Secular Humanism, cognitive liberty and a permanent cessation of The War on Drugs.
Let's see what we can do if we put our heads together.
0