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_0006_0002__DEFAULT,R_0006_0004__THE_R_0006_0005__KEYBOARD_R_0006_0006__CURSOR_R_0006_0007__KEYS,R_0006_0010__FORWARD,R_0006_0012__BACKWARD,R_0006_0011__AND,R_0006_0009__MOVE,R_0006_0016__LEFT,R_0006_0018__RIGHT,R_0006_0017__AND,R_0006_0015__TURN,R_0006_0014__AND,R_0006_0008__WILL] :
      ( r_0006_0002__default(R_0006_0002__DEFAULT)
      & r_0006_0004__the_r_0006_0005__keyboard_r_0006_0006__cursor_r_0006_0007__keys(R_0006_0004__THE_R_0006_0005__KEYBOARD_R_0006_0006__CURSOR_R_0006_0007__KEYS)
      & r_0006_0010__forward(R_0006_0010__FORWARD)
      & r_0006_0012__backward(R_0006_0012__BACKWARD)
      & r_0006_0016__left(R_0006_0016__LEFT)
      & r_0006_0018__right(R_0006_0018__RIGHT)
      & r_0006_0008__will(R_0006_0008__WILL)
      & has_keep_scope(R_0006_0008__WILL,R_0006_0014__AND)
      & r_0006_0014__and(R_0006_0014__AND)
      & has_conj2(R_0006_0014__AND,R_0006_0015__TURN)
      & r_0006_0015__turn(R_0006_0015__TURN)
      & has_clr45(R_0006_0015__TURN,R_0006_0017__AND)
      & r_0006_0017__and(R_0006_0017__AND)
      & has_conj2(R_0006_0017__AND,R_0006_0018__RIGHT)
      & has_conj1(R_0006_0017__AND,R_0006_0016__LEFT)
      & has_arg0(R_0006_0015__TURN,R_0006_0004__THE_R_0006_0005__KEYBOARD_R_0006_0006__CURSOR_R_0006_0007__KEYS)
      & has_conj1(R_0006_0014__AND,R_0006_0009__MOVE)
      & r_0006_0009__move(R_0006_0009__MOVE)
      & has_clr26(R_0006_0009__MOVE,R_0006_0011__AND)
      & r_0006_0011__and(R_0006_0011__AND)
      & has_conj2(R_0006_0011__AND,R_0006_0012__BACKWARD)
      & has_conj1(R_0006_0011__AND,R_0006_0010__FORWARD)
      & has_arg0(R_0006_0009__MOVE,R_0006_0004__THE_R_0006_0005__KEYBOARD_R_0006_0006__CURSOR_R_0006_0007__KEYS)
      & has_r_0006_0001__By_nim5(R_0006_0008__WILL,R_0006_0002__DEFAULT) ) ).

( (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))