Reasoning about symbolic descriptions of mechanical parts