Since the optimal term set for a full taxonomy is always C, the only unknown part left is R .
equation (3) can be transformed equivalently into: Note that in the framework, terms are added incrementally into a taxonomy.