arc(r_0041_0002__changed, r_0041_0001__they, arg0).
arc(r_0041_0002__changed, r_0041_0003__one_r_0041_0005__thing, arg1).
arc(r_0041_0003__one_r_0041_0005__thing, r_0041_0004__important, attrib10).
arc(z_000_41_a_paulfellows_17, r_0041_0003__one_r_0041_0005__thing, arg0).
arc(z_000_41_a_paulfellows_17, r_0041_0007__the_r_0041_0008__keyboard, prd).

fof(formula,axiom,
    ? [R_0041_0001__THEY,R_0041_0004__IMPORTANT,R_0041_0003__ONE_R_0041_0005__THING,R_0041_0002__CHANGED,R_0041_0007__THE_R_0041_0008__KEYBOARD,Z_000_41_A_PAULFELLOWS_17] :
      ( r_0041_0001__they(R_0041_0001__THEY)
      & r_0041_0004__important(R_0041_0004__IMPORTANT)
      & r_0041_0007__the_r_0041_0008__keyboard(R_0041_0007__THE_R_0041_0008__KEYBOARD)
      & z_000_41_a_paulfellows_17(Z_000_41_A_PAULFELLOWS_17)
      & has_prd(Z_000_41_A_PAULFELLOWS_17,R_0041_0007__THE_R_0041_0008__KEYBOARD)
      & has_arg0(Z_000_41_A_PAULFELLOWS_17,R_0041_0003__ONE_R_0041_0005__THING)
      & r_0041_0003__one_r_0041_0005__thing(R_0041_0003__ONE_R_0041_0005__THING)
      & has_attrib10(R_0041_0003__ONE_R_0041_0005__THING,R_0041_0004__IMPORTANT)
      & r_0041_0002__changed(R_0041_0002__CHANGED)
      & has_arg1(R_0041_0002__CHANGED,R_0041_0003__ONE_R_0041_0005__THING)
      & has_arg0(R_0041_0002__CHANGED,R_0041_0001__THEY) ) ).

( (IP-MAT (NP-SBJ (PRO they;{they}))
          (VBD;__ changed;{change})
          (NP-OB1 (NUM one;{one})
                  (ADJP (ADJ important;{important}))
                  (N thing;{thing})
                  (PUNC ,)
                  (IP-PPL (NP-PRD (D the;{the})
                                  (N keyboard;{keyboard}))))
          (PUNC .))
  (ID 41_a_paulfellows))