allowed_pair(left, right).
specialization(1, 1).