als_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. als_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. an_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. aus_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ausserhalb_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bei_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. bis-zu_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. durch_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. fuer_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gegen_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. gen_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. hinter_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. in_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. mit_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. nach_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. ueber_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. um_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. unter_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. von_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. vor_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zu_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. zwischen_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg1_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg2_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg3_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg1_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg2_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg3_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg1_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg2_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg3_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg1_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg2_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ]. auf_arg3_pp_rule := fully_monotonic_mtr & [ CONTEXT [ RELS ], FLAGS.SUBSUME <#x>, FILTER.RELS , OUTPUT.RELS ].