A C D in rules may be expressed as sets