arc(r_0037_0002___apos_s, r_0037_0003__booted, scope).
arc(r_0037_0003__booted, r_0037_0001__It, arg1).
arc(r_0037_0003__booted, r_0037_0004__up, clr12).
arc(r_0037_0003__booted, r_0037_0005__there, nim15).
arc(r_0037_0003__booted, z_000_37_a_paulfellows_8, arg0).
arc(r_0037_0006__running, r_0037_0001__It, arg0).
arc(r_0037_0006__running, z_000_37_a_paulfellows_22, arg1).
arc(r_0037_0008__seems, r_0037_0009__to_r_0037_0010__be, scope).
arc(r_0037_0008__seems, r_0037_0015__me, r_0037_0014__to_nim44).
arc(r_0037_0009__to_r_0037_0010__be, r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2, prd).
arc(r_0037_0009__to_r_0037_0010__be, z_000_37_a_paulfellows_22, arg0).
arc(z_000_37_a_paulfellows_18, r_0037_0002___apos_s, scope).
arc(z_000_37_a_paulfellows_18, r_0037_0006__running, restriction).

fof(formula,axiom,
    ? [R_0037_0015__ME,R_0037_0011__RISC_R_0037_0012__OS_R_0037_0013__2,Z_000_37_A_PAULFELLOWS_22,R_0037_0008__SEEMS_R_0037_0009__TO_R_0037_0010__BE,R_0037_0001__IT,R_0037_0004__UP,R_0037_0005__THERE,Z_000_37_A_PAULFELLOWS_8,R_0037_0002___APOS_S_R_0037_0003__BOOTED,R_0037_0006__RUNNING,Z_000_37_A_PAULFELLOWS_18] :
      ( r_0037_0001__It(R_0037_0001__IT)
      & r_0037_0004__up(R_0037_0004__UP)
      & r_0037_0005__there(R_0037_0005__THERE)
      & 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_000_37_a_paulfellows_22(Z_000_37_A_PAULFELLOWS_22)
      & z_000_37_a_paulfellows_8(Z_000_37_A_PAULFELLOWS_8)
      & z_000_37_a_paulfellows_18(Z_000_37_A_PAULFELLOWS_18)
      & has_conj1(Z_000_37_A_PAULFELLOWS_18,R_0037_0006__RUNNING)
      & r_0037_0006__running(R_0037_0006__RUNNING)
      & has_arg1(R_0037_0006__RUNNING,Z_000_37_A_PAULFELLOWS_22)
      & has_arg0(R_0037_0006__RUNNING,R_0037_0001__IT)
      & has_conj2(Z_000_37_A_PAULFELLOWS_18,R_0037_0002___APOS_S_R_0037_0003__BOOTED)
      & r_0037_0002___apos_s_r_0037_0003__booted(R_0037_0002___APOS_S_R_0037_0003__BOOTED)
      & has_arg0(R_0037_0002___APOS_S_R_0037_0003__BOOTED,Z_000_37_A_PAULFELLOWS_8)
      & has_nim15(R_0037_0002___APOS_S_R_0037_0003__BOOTED,R_0037_0005__THERE)
      & has_clr12(R_0037_0002___APOS_S_R_0037_0003__BOOTED,R_0037_0004__UP)
      & has_arg1(R_0037_0002___APOS_S_R_0037_0003__BOOTED,R_0037_0001__IT)
      & r_0037_0008__seems_r_0037_0009__to_r_0037_0010__be(R_0037_0008__SEEMS_R_0037_0009__TO_R_0037_0010__BE)
      & has_arg0(R_0037_0008__SEEMS_R_0037_0009__TO_R_0037_0010__BE,Z_000_37_A_PAULFELLOWS_22)
      & has_prd(R_0037_0008__SEEMS_R_0037_0009__TO_R_0037_0010__BE,R_0037_0011__RISC_R_0037_0012__OS_R_0037_0013__2)
      & has_r_0037_0014__to_nim44(R_0037_0008__SEEMS_R_0037_0009__TO_R_0037_0010__BE,R_0037_0015__ME) ) ).

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