( (IP-MAT (NP-SBJ (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (ADVP-NIM (ADV quite;{quite}))
          (VB;__ know;{know})
          (CP-QUE-OB1 (IP-SUB (ADVP-162 (WADV where;{where}))
                              (NP-SBJ (D the;{the})
                                      (N keyboard;{keyboard}))
                              (VBD;__ came;{come})
                              (PP-NIM (P-ROLE from;{from})
                                      (ADVP *ICH*-162))))
          (PUNC ,)
          (PRN (IP-MAT (CONJ;_cl_ but;{but})
                       (EX there;{there})
                       (BED;_ex_V_ was;{be})
                       (ADVP-NIM (ADV obviously;{obviously}))
                       (NP-ESBJ (D a;{a})
                                (N micro;{micro})
                                (PP (P-ROLE in;{in})
                                    (ADVP (ADV there;{there})))
                                (IP-REL (NP-SBJ (RPRO which;{which}))
                                        (MD;_cat_Vi_ would;{will})
                                        (IP-INF-CAT (VB;__ chuck;{chuck})
                                                    (NP-OB1 (PRO it;{it})
                                                            (PULB -LRB-)
                                                            (PRN (NP (D the;{the})
                                                                     (N keyboard;{keyboard})
                                                                     (NS data;{data})))
                                                            (PURB -RRB-))
                                                    (PP-NIM (P-ROLE to;{to})
                                                            (NP (PRO us;{we})))
                                                    (PP-NIM (P-ROLE down;{down})
                                                            (NP (D the;{the})
                                                                (ADJP (ADJ serial;{serial}))
                                                                (N lead;{lead}))))))))
          (PUNC .))
  (ID 42_a_paulfellows))

arc(r_0042_0002__do_r_0042_0005__know,r_0042_0001__I,arg0).
arc(r_0042_0002__do_r_0042_0005__know,r_0042_0004__quite,nim).
arc(r_0042_0002__do_r_0042_0005__know,r_0042_0009__came,arg1).
arc(r_0042_0002__do_r_0042_0005__know,r_0042_0014__was,prn).
arc(r_0042_0003__n_apos_t,r_0042_0002__do_r_0042_0005__know,keep_scope).
arc(r_0042_0009__came,r_0042_0006__where,r_0042_0010__from__nim).
arc(r_0042_0009__came,r_0042_0007__the_r_0042_0008__keyboard,arg0).
arc(r_0042_0014__was,r_0042_0015__obviously,nim).
arc(r_0042_0014__was,r_0042_0016__a_r_0042_0017__micro,arg0).
arc(r_0042_0016__a_r_0042_0017__micro,r_0042_0019__there,r_0042_0018__in).
arc(r_0042_0021__would,r_0042_0022__chuck,scope).
arc(r_0042_0022__chuck,r_0042_0016__a_r_0042_0017__micro,arg0).
arc(r_0042_0022__chuck,r_0042_0023__it,arg1).
arc(r_0042_0022__chuck,r_0042_0030__us,r_0042_0029__to__nim).
arc(r_0042_0022__chuck,r_0042_0032__the_r_0042_0034__lead,r_0042_0031__down__nim).
arc(r_0042_0032__the_r_0042_0034__lead,r_0042_0033__serial,attrib).
arc(z_0042_5010,r_0042_0023__it,arg0).
arc(z_0042_5010,r_0042_0025__the_r_0042_0026__keyboard_r_0042_0027__data,prd).

fof(formula,axiom,
    ? [R_0042_0019__THERE,R_0042_0016__A_R_0042_0017__MICRO,R_0042_0023__IT,R_0042_0030__US,R_0042_0033__SERIAL,R_0042_0032__THE_R_0042_0034__LEAD,R_0042_0021__WOULD_R_0042_0022__CHUCK,R_0042_0025__THE_R_0042_0026__KEYBOARD_R_0042_0027__DATA,Z_0042_5010] :
      ( r_0042_0019__there(R_0042_0019__THERE)
      & r_0042_0023__it(R_0042_0023__IT)
      & r_0042_0025__the_r_0042_0026__keyboard_r_0042_0027__data(R_0042_0025__THE_R_0042_0026__KEYBOARD_R_0042_0027__DATA)
      & r_0042_0030__us(R_0042_0030__US)
      & r_0042_0033__serial(R_0042_0033__SERIAL)
      & z_0042_5010(Z_0042_5010)
      & has_prd(Z_0042_5010,R_0042_0025__THE_R_0042_0026__KEYBOARD_R_0042_0027__DATA)
      & has_arg0(Z_0042_5010,R_0042_0023__IT)
      & r_0042_0021__would_r_0042_0022__chuck(R_0042_0021__WOULD_R_0042_0022__CHUCK)
      & has_r_0042_0031__down__nim(R_0042_0021__WOULD_R_0042_0022__CHUCK,R_0042_0032__THE_R_0042_0034__LEAD)
      & r_0042_0032__the_r_0042_0034__lead(R_0042_0032__THE_R_0042_0034__LEAD)
      & has_attrib(R_0042_0032__THE_R_0042_0034__LEAD,R_0042_0033__SERIAL)
      & has_r_0042_0029__to__nim(R_0042_0021__WOULD_R_0042_0022__CHUCK,R_0042_0030__US)
      & has_arg1(R_0042_0021__WOULD_R_0042_0022__CHUCK,R_0042_0023__IT)
      & has_arg0(R_0042_0021__WOULD_R_0042_0022__CHUCK,R_0042_0016__A_R_0042_0017__MICRO)
      & r_0042_0016__a_r_0042_0017__micro(R_0042_0016__A_R_0042_0017__MICRO)
      & has_r_0042_0018__in(R_0042_0016__A_R_0042_0017__MICRO,R_0042_0019__THERE)
      & ~ ? [R_0042_0001__I,R_0042_0004__QUITE,R_0042_0006__WHERE,R_0042_0007__THE_R_0042_0008__KEYBOARD,R_0042_0009__CAME,R_0042_0015__OBVIOUSLY,R_0042_0014__WAS,R_0042_0002__DO_R_0042_0005__KNOW] :
            ( r_0042_0001__I(R_0042_0001__I)
            & r_0042_0004__quite(R_0042_0004__QUITE)
            & r_0042_0006__where(R_0042_0006__WHERE)
            & r_0042_0007__the_r_0042_0008__keyboard(R_0042_0007__THE_R_0042_0008__KEYBOARD)
            & r_0042_0015__obviously(R_0042_0015__OBVIOUSLY)
            & r_0042_0002__do_r_0042_0005__know(R_0042_0002__DO_R_0042_0005__KNOW)
            & has_prn(R_0042_0002__DO_R_0042_0005__KNOW,R_0042_0014__WAS)
            & r_0042_0014__was(R_0042_0014__WAS)
            & has_arg0(R_0042_0014__WAS,R_0042_0016__A_R_0042_0017__MICRO)
            & has_nim(R_0042_0014__WAS,R_0042_0015__OBVIOUSLY)
            & has_arg1(R_0042_0002__DO_R_0042_0005__KNOW,R_0042_0009__CAME)
            & r_0042_0009__came(R_0042_0009__CAME)
            & has_arg0(R_0042_0009__CAME,R_0042_0007__THE_R_0042_0008__KEYBOARD)
            & has_r_0042_0010__from__nim(R_0042_0009__CAME,R_0042_0006__WHERE)
            & has_nim(R_0042_0002__DO_R_0042_0005__KNOW,R_0042_0004__QUITE)
            & has_arg0(R_0042_0002__DO_R_0042_0005__KNOW,R_0042_0001__I) ) ) ).