TOOL JOINT BOX MEMBER WITH HARDBAND

Definition A <TOOL JOINT BOX MEMBER WITH HARDBAND> is a <TOOL JOINT BOX MEMBER> that has a <TOOL JOINT HARDBAND>.