arc(r_0023_0001__Most_quant, r_0023_0002__players, restriction).
arc(r_0023_0001__Most_quant, r_0023_0003__find, scope).
arc(r_0023_0003__find, r_0023_0002__players, arg0).
arc(r_0023_0003__find, r_0023_0004__that_r_0023_0010__is, arg1).
arc(r_0023_0004__that_r_0023_0010__is, r_0023_0007__and, arg0).
arc(r_0023_0004__that_r_0023_0010__is, r_0023_0011__the, prd).
arc(r_0023_0007__and, r_0023_0006__mouse, conj1).
arc(r_0023_0007__and, r_0023_0008__keyboard_r_0023_0009__combination, conj2).
arc(r_0023_0011__the, r_0023_0013__effective, attrib35).
arc(r_0023_0013__effective, r_0023_0012__most, qual36).
arc(r_0023_0018__is, r_0023_0007__and, nim44).
arc(r_0023_0018__is, r_0023_0019__used, scope).
arc(r_0023_0019__used, r_0023_0020__to_r_0023_0021__turn, arg1).
arc(r_0023_0019__used, z_000_23_a_freedoom_55, arg0).
arc(r_0023_0020__to_r_0023_0021__turn, r_0023_0016__the_r_0023_0017__mouse, arg0).
arc(r_0023_0022__while, r_0023_0018__is, scope).
arc(r_0023_0022__while, r_0023_0025__is, restriction).
arc(r_0023_0025__is, r_0023_0026__used, scope).
arc(r_0023_0026__used, r_0023_0027__to_r_0023_0028__move, arg1).
arc(r_0023_0026__used, z_000_23_a_freedoom_76, arg0).
arc(r_0023_0027__to_r_0023_0028__move, r_0023_0023__the_r_0023_0024__keyboard, arg0).
arc(r_0023_0027__to_r_0023_0028__move, r_0023_0029__around, nim85).

fof(formula,axiom,
    ? [R_23_22_WHILE,R_23_25_IS_USED,Z_23_A_FREEDOOM_76,R_23_27_TO_MOVE,R_23_23_THE_KEYBOARD,R_23_29_AROUND,R_23_18_IS_USED,Z_23_A_FREEDOOM_55,R_23_20_TO_TURN,R_23_16_THE_MOUSE,R_23_7_AND,R_23_6_MOUSE,R_23_8_KEYBOARD_COMBINATION] :
      ( the_keyboard(R_23_23_THE_KEYBOARD)
      & around(R_23_29_AROUND)
      & the_mouse(R_23_16_THE_MOUSE)
      & mouse(R_23_6_MOUSE)
      & keyboard_combination(R_23_8_KEYBOARD_COMBINATION)
      & ! [R_23_2_PLAYERS] :
          ( players(R_23_2_PLAYERS)
         => ? [R_23_3_FIND,R_23_4_THAT_IS,R_23_11_THE,R_23_13_EFFECTIVE,R_23_12_MOST] :
              ( most(R_23_12_MOST)
              & find(R_23_3_FIND,R_23_2_PLAYERS,R_23_4_THAT_IS)
              & that_is(R_23_4_THAT_IS,R_23_7_AND,R_23_11_THE)
              & the(R_23_11_THE)
              & attrib35(R_23_11_THE,R_23_13_EFFECTIVE)
              & effective(R_23_13_EFFECTIVE)
              & qual36(R_23_13_EFFECTIVE,R_23_12_MOST) ) )
      & while(R_23_22_WHILE)
      & conj1(R_23_22_WHILE,R_23_25_IS_USED)
      & is_used(R_23_25_IS_USED,Z_23_A_FREEDOOM_76,R_23_27_TO_MOVE)
      & to_move(R_23_27_TO_MOVE,R_23_23_THE_KEYBOARD)
      & nim85(R_23_27_TO_MOVE,R_23_29_AROUND)
      & conj2(R_23_22_WHILE,R_23_18_IS_USED)
      & is_used(R_23_18_IS_USED,Z_23_A_FREEDOOM_55,R_23_20_TO_TURN)
      & to_turn(R_23_20_TO_TURN,R_23_16_THE_MOUSE)
      & nim44(R_23_18_IS_USED,R_23_7_AND)
      & and(R_23_7_AND)
      & conj1(R_23_7_AND,R_23_6_MOUSE)
      & conj2(R_23_7_AND,R_23_8_KEYBOARD_COMBINATION) ) ).

( (IP-MAT (NP-SBJ (Q Most;{most})
                  (NS players;{player}))
          (VBP;_Tf_ find;{find})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D a;{a})
                                      (NLYR (NLYR;{MOUSE} (N mouse;{mouse}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR;{KEYBOARD} (N keyboard;{keyboard})
                                                                    (N combination;{combination}))))
                                      (IP-REL *ICH*-182))
                              (BEP;_Ln_ is;{be})
                              (NP-PRD (D the;{the})
                                      (ADJP (ADVP (ADVS most;{most}))
                                            (ADJ effective;{effective})))
                              (PUNC ,)
                              (IP-REL-EPD-182 (ADVP-NIM (RADV where;{where}))
                                              (NP-SBJ;{MOUSE} (D the;{the})
                                                              (N mouse;{mouse}))
                                              (BEP;_cat_VePASS_ is;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Tnt_ used;{use})
                                                          (IP-INF3-OB1 (TO to;{to})
                                                                       (VB;_I_ turn;{turn})))
                                              (PP-SCON (P-CONN while;{while})
                                                       (IP-ADV (NP-SBJ;{KEYBOARD} (D the;{the})
                                                                                  (N keyboard;{keyboard}))
                                                               (BEP;_cat_VePASS_ is;{be})
                                                               (IP-PPL-CAT (NP-LGS *)
                                                                           (VVN;_Tnt_ used;{use})
                                                                           (IP-INF3-OB1 (TO to;{to})
                                                                                        (VB;_Ip_ move;{move[around]})
                                                                                        (ADVP-NIM (RP around;{around})))))))))
          (PUNC .))
  (ID 23_a_freedoom))