converted terms to symbolic rules