A object within a pattern (rule) can be represented by variable, which ignores similarity, getting its meaning from its role in the pattern (rule).