Bounds on the size of PC and URC formulas