allen wrench(n = noun.artifact) - a wrench for Allen screws;
is a kind of spanner, wrench

adjustable wrench, allen, allen ginsberg, allen screw, allen stewart konigsberg, allen tate, alligator wrench, box end wrench, box wrench, brace wrench, bulldog wrench, carriage wrench, chain wrench, crescent wrench, dog wrench, ethan allen, grace ethel cecile rosalie allen, gracie allen, hook wrench, james alfred van allen, john orley allen tate, lug wrench, monkey wrench, open-end wrench, pin wrench, pipe wrench, s wrench, screw wrench, socket wrench, sparkplug wrench, stillson wrench, tap wrench, tappet wrench, torque wrench, tube wrench, van allen, van allen belt, woody allen, wrench