( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;_cat_VePASS_ <apos>s;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.p_ booted;{boot[up]})
                      (ADVP-CLR (RP up;{up}))
                      (ADVP-NIM (ADV there;{there})))
          (PP-SCON (IP-PPL (VAG;_Tn_ running;{run})
                           (NP-OB1 (IP-REL (NP-SBJ (RPRO what;{what}))
                                           (VBP;_cat_Vt_ seems;{seem})
                                           (IP-INF-CAT (TO to;{to})
                                                       (BE;_Ln_ be;{be})
                                                       (NP-PRD (NPR RISC;{RISC})
                                                               (NPR OS;{OS})
                                                               (NUM 2)))
                                           (PP-NIM (P-ROLE to;{to})
                                                   (NP (PRO me;{I})))))))
          (PUNC .))
  (ID 37_a_paulfellows))

arc(r_0037_0002___apos_s,r_0037_0003__booted_r_0037_0004__up,scope).
arc(r_0037_0003__booted_r_0037_0004__up,r_0037_0001__It,arg1).
arc(r_0037_0003__booted_r_0037_0004__up,r_0037_0005__there,nim).
arc(r_0037_0003__booted_r_0037_0004__up,z_0037_5011___star_,arg0).
arc(r_0037_0006__running,r_0037_0001__It,arg0).
arc(r_0037_0006__running,r_0037_0007__what,arg1).
arc(r_0037_0008__seems,r_0037_0010__be,scope).
arc(r_0037_0008__seems,r_0037_0015__me,r_0037_0014__to__nim).
arc(r_0037_0010__be,r_0037_0007__what,arg0).
arc(r_0037_0010__be,r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2,prd).
arc(z_0037_5001,r_0037_0002___apos_s,scope).
arc(z_0037_5001,r_0037_0006__running,restriction).

fof(formula,axiom,
    ? [R_0037_0015__ME,R_0037_0007__WHAT,R_0037_0011__RISC_R_0037_0012__OS_R_0037_0013__2,R_0037_0008__SEEMS_R_0037_0010__BE,R_0037_0001__IT,R_0037_0005__THERE,Z_0037_5011___STAR_,R_0037_0002___APOS_S_R_0037_0003__BOOTED_R_0037_0004__UP,R_0037_0006__RUNNING,Z_0037_5001] :
      ( r_0037_0001__It(R_0037_0001__IT)
      & r_0037_0005__there(R_0037_0005__THERE)
      & r_0037_0007__what(R_0037_0007__WHAT)
      & r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2(R_0037_0011__RISC_R_0037_0012__OS_R_0037_0013__2)
      & r_0037_0015__me(R_0037_0015__ME)
      & z_0037_5011___star_(Z_0037_5011___STAR_)
      & z_0037_5001(Z_0037_5001)
      & has_conj1(Z_0037_5001,R_0037_0006__RUNNING)
      & r_0037_0006__running(R_0037_0006__RUNNING)
      & has_arg1(R_0037_0006__RUNNING,R_0037_0007__WHAT)
      & has_arg0(R_0037_0006__RUNNING,R_0037_0001__IT)
      & has_conj2(Z_0037_5001,R_0037_0002___APOS_S_R_0037_0003__BOOTED_R_0037_0004__UP)
      & r_0037_0002___apos_s_r_0037_0003__booted_r_0037_0004__up(R_0037_0002___APOS_S_R_0037_0003__BOOTED_R_0037_0004__UP)
      & has_arg0(R_0037_0002___APOS_S_R_0037_0003__BOOTED_R_0037_0004__UP,Z_0037_5011___STAR_)
      & has_nim(R_0037_0002___APOS_S_R_0037_0003__BOOTED_R_0037_0004__UP,R_0037_0005__THERE)
      & has_arg1(R_0037_0002___APOS_S_R_0037_0003__BOOTED_R_0037_0004__UP,R_0037_0001__IT)
      & r_0037_0008__seems_r_0037_0010__be(R_0037_0008__SEEMS_R_0037_0010__BE)
      & has_prd(R_0037_0008__SEEMS_R_0037_0010__BE,R_0037_0011__RISC_R_0037_0012__OS_R_0037_0013__2)
      & has_arg0(R_0037_0008__SEEMS_R_0037_0010__BE,R_0037_0007__WHAT)
      & has_r_0037_0014__to__nim(R_0037_0008__SEEMS_R_0037_0010__BE,R_0037_0015__ME) ) ).