A projection is relaxed if, for every rule r = A t → B t C t with weight w r the projection r = A t → B t C t has weight w r ≤ w r in G t−1 .
the weight of r is a lower bound on the weight of all rules r in G t which project to r .