simpler rule representation