arc(r_0006_0008__will, r_0006_0002__default, r_0006_0001__By_nim5).
arc(r_0006_0008__will, r_0006_0014__and, scope).
arc(r_0006_0009__move, r_0006_0004__the_r_0006_0005__keyboard_r_0006_0006__cursor_r_0006_0007__keys, arg0).
arc(r_0006_0009__move, r_0006_0011__and, clr26).
arc(r_0006_0011__and, r_0006_0010__forward, conj1).
arc(r_0006_0011__and, r_0006_0012__backward, conj2).
arc(r_0006_0014__and, r_0006_0009__move, conj1).
arc(r_0006_0014__and, r_0006_0015__turn, conj2).
arc(r_0006_0015__turn, r_0006_0004__the_r_0006_0005__keyboard_r_0006_0006__cursor_r_0006_0007__keys, arg0).
arc(r_0006_0015__turn, r_0006_0017__and, clr45).
arc(r_0006_0017__and, r_0006_0016__left, conj1).
arc(r_0006_0017__and, r_0006_0018__right, conj2).

fof(formula,axiom,
    ? [R_6_2_DEFAULT] :
      ( default(R_6_2_DEFAULT)
      & ? [R_6_14_AND,R_6_9_MOVE,R_6_11_AND,R_6_10_FORWARD,R_6_12_BACKWARD,R_6_15_TURN,R_6_4_THE_KEYBOARD_CURSOR_KEYS,R_6_17_AND,R_6_16_LEFT,R_6_18_RIGHT] :
          ( forward(R_6_10_FORWARD)
          & backward(R_6_12_BACKWARD)
          & the_keyboard_cursor_keys(R_6_4_THE_KEYBOARD_CURSOR_KEYS)
          & left(R_6_16_LEFT)
          & right(R_6_18_RIGHT)
          & and(R_6_14_AND)
          & conj1(R_6_14_AND,R_6_9_MOVE)
          & move(R_6_9_MOVE,R_6_4_THE_KEYBOARD_CURSOR_KEYS)
          & clr26(R_6_9_MOVE,R_6_11_AND)
          & and(R_6_11_AND)
          & conj1(R_6_11_AND,R_6_10_FORWARD)
          & conj2(R_6_11_AND,R_6_12_BACKWARD)
          & conj2(R_6_14_AND,R_6_15_TURN)
          & turn(R_6_15_TURN,R_6_4_THE_KEYBOARD_CURSOR_KEYS)
          & clr45(R_6_15_TURN,R_6_17_AND)
          & and(R_6_17_AND)
          & conj1(R_6_17_AND,R_6_16_LEFT)
          & conj2(R_6_17_AND,R_6_18_RIGHT) ) ) ).

( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (N default;{default})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N keyboard;{keyboard})
                  (N cursor;{cursor})
                  (NS keys;{key}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Ip_ move;{move[forward_and_backward]})
                                  (ADVP-CLR (AVLYR (AVLYR (ADV forward;{forward}))
                                                   (CONJP (CONJ and;{and})
                                                          (AVLYR (ADV backward;{backward}))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Ip_ turn;{turn[left_and_right]})
                                         (ADVP-CLR (AVLYR (AVLYR (ADV left;{left}))
                                                          (CONJP (CONJ and;{and})
                                                                 (AVLYR (ADV right;{right})))))))))
          (PUNC .))
  (ID 6_a_freedoom))