Original: They infer intuitively that dog is to dogs as cat is to cats ; similarly , dog is to dog catcher as dish is to dishwasher , in one sense .
Simplified: They simply know that dog is to dogs as cat is to cats . They know that dog is to dog-catcher as dish is to dishwasher .