Logical reduction of metarules