Context                Previous, Next                Top


37_a_paulfellows
It's booted up there running what seems to be RISC OS 2 to me.

%3 r_0037_0002___apos_s 's r_0037_0003__booted booted r_0037_0002___apos_s->r_0037_0003__booted [scope] r_0037_0001__It It r_0037_0003__booted->r_0037_0001__It [arg1] r_0037_0004__up up r_0037_0003__booted->r_0037_0004__up [clr] r_0037_0005__there there r_0037_0003__booted->r_0037_0005__there [nim] z_000_37_a_paulfellows_8 r_0037_0003__booted->z_000_37_a_paulfellows_8 [arg0] r_0037_0006__running running r_0037_0006__running->r_0037_0001__It [arg0] z_000_37_a_paulfellows_22 r_0037_0006__running->z_000_37_a_paulfellows_22 [arg1] r_0037_0008__seems seems r_0037_0009__to_r_0037_0010__be to be r_0037_0008__seems->r_0037_0009__to_r_0037_0010__be [scope] r_0037_0015__me me r_0037_0008__seems->r_0037_0015__me to [nim] r_0037_0009__to_r_0037_0010__be->z_000_37_a_paulfellows_22 [arg0] r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2 RISC OS 2 r_0037_0009__to_r_0037_0010__be->r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2 [prd] z_000_37_a_paulfellows_18 z_000_37_a_paulfellows_18->r_0037_0002___apos_s [scope] z_000_37_a_paulfellows_18->r_0037_0006__running [restriction] 
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).


%3 z_000_37_a_paulfellows_18 r_0037_0006__running running z_000_37_a_paulfellows_18->r_0037_0006__running [conj1] r_0037_0002___apos_s_r_0037_0003__booted 's booted z_000_37_a_paulfellows_18->r_0037_0002___apos_s_r_0037_0003__booted [conj2] z_000_37_a_paulfellows_22 r_0037_0006__running->z_000_37_a_paulfellows_22 [arg1] r_0037_0001__It It r_0037_0006__running->r_0037_0001__It [arg0] r_0037_0002___apos_s_r_0037_0003__booted->r_0037_0001__It [arg1] z_000_37_a_paulfellows_8 r_0037_0002___apos_s_r_0037_0003__booted->z_000_37_a_paulfellows_8 [arg0] r_0037_0005__there there r_0037_0002___apos_s_r_0037_0003__booted->r_0037_0005__there [nim] r_0037_0004__up up r_0037_0002___apos_s_r_0037_0003__booted->r_0037_0004__up [clr] r_0037_0008__seems_r_0037_0009__to_r_0037_0010__be seems to be r_0037_0008__seems_r_0037_0009__to_r_0037_0010__be->z_000_37_a_paulfellows_22 [arg0] r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2 RISC OS 2 r_0037_0008__seems_r_0037_0009__to_r_0037_0010__be->r_0037_0011__RISC_r_0037_0012__OS_r_0037_0013__2 [prd] r_0037_0015__me me r_0037_0008__seems_r_0037_0009__to_r_0037_0010__be->r_0037_0015__me to [nim] 
fof(formula,axiom,
    ? [R_37_8_SEEMS_TO_BE,R_37_11_RISC_OS_2,R_37_15_ME,Z_37_A_PAULFELLOWS_18,R_37_6_RUNNING,Z_37_A_PAULFELLOWS_22,R_37_2__APOS_S_BOOTED,Z_37_A_PAULFELLOWS_8,R_37_1_IT,R_37_4_UP,R_37_5_THERE] :
      ( rISC_OS_2(R_37_11_RISC_OS_2)
      & me(R_37_15_ME)
      & it(R_37_1_IT)
      & up(R_37_4_UP)
      & there(R_37_5_THERE)
      & seems_to_be(R_37_8_SEEMS_TO_BE,Z_37_A_PAULFELLOWS_22,R_37_11_RISC_OS_2)
      & to_nim44(R_37_8_SEEMS_TO_BE,R_37_15_ME)
      & z_37_a_paulfellows_18(Z_37_A_PAULFELLOWS_18)
      & conj1(Z_37_A_PAULFELLOWS_18,R_37_6_RUNNING)
      & running(R_37_6_RUNNING,R_37_1_IT,Z_37_A_PAULFELLOWS_22)
      & conj2(Z_37_A_PAULFELLOWS_18,R_37_2__APOS_S_BOOTED)
      & _apos_s_booted(R_37_2__APOS_S_BOOTED,Z_37_A_PAULFELLOWS_8,R_37_1_IT)
      & clr12(R_37_2__APOS_S_BOOTED,R_37_4_UP)
      & nim15(R_37_2__APOS_S_BOOTED,R_37_5_THERE) ) ).


n37_a_paulfellows n37_a_paulfellows__1_1_1_1 It n37_a_paulfellows__1_2_1 's n37_a_paulfellows__1_3_1_1 * n37_a_paulfellows__1_3_2_1 booted n37_a_paulfellows__1_3_3_1_1 up n37_a_paulfellows__1_3_4_1_1 there n37_a_paulfellows__1_4_1_1_1 running n37_a_paulfellows__1_4_1_2_1_1_1_1 what n37_a_paulfellows__1_4_1_2_1_2_1 seems n37_a_paulfellows__1_4_1_2_1_3_1_1 to n37_a_paulfellows__1_4_1_2_1_3_2_1 be n37_a_paulfellows__1_4_1_2_1_3_3_1_1 RISC n37_a_paulfellows__1_4_1_2_1_3_3_2_1 OS n37_a_paulfellows__1_4_1_2_1_3_3_3_1 2 n37_a_paulfellows__1_4_1_2_1_4_1_1 to n37_a_paulfellows__1_4_1_2_1_4_2_1_1 me n37_a_paulfellows__1_5_1 . n37_a_paulfellows__1 IP-MAT n37_a_paulfellows__1_1 NP-SBJ n37_a_paulfellows__1->n37_a_paulfellows__1_1 n37_a_paulfellows__1_2 BEP;_cat_VePASS_ n37_a_paulfellows__1->n37_a_paulfellows__1_2 n37_a_paulfellows__1_3 IP-PPL-CAT n37_a_paulfellows__1->n37_a_paulfellows__1_3 n37_a_paulfellows__1_4 PP-SCON n37_a_paulfellows__1->n37_a_paulfellows__1_4 n37_a_paulfellows__1_5 PUNC n37_a_paulfellows__1->n37_a_paulfellows__1_5 n37_a_paulfellows__1_1_1 PRO n37_a_paulfellows__1_1->n37_a_paulfellows__1_1_1 n37_a_paulfellows__1_1_1->n37_a_paulfellows__1_1_1_1 n37_a_paulfellows__1_2->n37_a_paulfellows__1_2_1 n37_a_paulfellows__1_3_1 NP-LGS n37_a_paulfellows__1_3->n37_a_paulfellows__1_3_1 n37_a_paulfellows__1_3_2 VVN;_Tn.p_ n37_a_paulfellows__1_3->n37_a_paulfellows__1_3_2 n37_a_paulfellows__1_3_3 ADVP-CLR n37_a_paulfellows__1_3->n37_a_paulfellows__1_3_3 n37_a_paulfellows__1_3_4 ADVP-NIM n37_a_paulfellows__1_3->n37_a_paulfellows__1_3_4 n37_a_paulfellows__1_3_1->n37_a_paulfellows__1_3_1_1 n37_a_paulfellows__1_3_2->n37_a_paulfellows__1_3_2_1 n37_a_paulfellows__1_3_3_1 RP n37_a_paulfellows__1_3_3->n37_a_paulfellows__1_3_3_1 n37_a_paulfellows__1_3_3_1->n37_a_paulfellows__1_3_3_1_1 n37_a_paulfellows__1_3_4_1 ADV n37_a_paulfellows__1_3_4->n37_a_paulfellows__1_3_4_1 n37_a_paulfellows__1_3_4_1->n37_a_paulfellows__1_3_4_1_1 n37_a_paulfellows__1_4_1 IP-PPL n37_a_paulfellows__1_4->n37_a_paulfellows__1_4_1 n37_a_paulfellows__1_4_1_1 VAG;_Tn_ n37_a_paulfellows__1_4_1->n37_a_paulfellows__1_4_1_1 n37_a_paulfellows__1_4_1_2 NP-OB1 n37_a_paulfellows__1_4_1->n37_a_paulfellows__1_4_1_2 n37_a_paulfellows__1_4_1_1->n37_a_paulfellows__1_4_1_1_1 n37_a_paulfellows__1_4_1_2_1 IP-REL n37_a_paulfellows__1_4_1_2->n37_a_paulfellows__1_4_1_2_1 n37_a_paulfellows__1_4_1_2_1_1 NP-SBJ n37_a_paulfellows__1_4_1_2_1->n37_a_paulfellows__1_4_1_2_1_1 n37_a_paulfellows__1_4_1_2_1_2 VBP;_cat_Vt_ n37_a_paulfellows__1_4_1_2_1->n37_a_paulfellows__1_4_1_2_1_2 n37_a_paulfellows__1_4_1_2_1_3 IP-INF-CAT n37_a_paulfellows__1_4_1_2_1->n37_a_paulfellows__1_4_1_2_1_3 n37_a_paulfellows__1_4_1_2_1_4 PP-NIM n37_a_paulfellows__1_4_1_2_1->n37_a_paulfellows__1_4_1_2_1_4 n37_a_paulfellows__1_4_1_2_1_1_1 RPRO n37_a_paulfellows__1_4_1_2_1_1->n37_a_paulfellows__1_4_1_2_1_1_1 n37_a_paulfellows__1_4_1_2_1_1_1->n37_a_paulfellows__1_4_1_2_1_1_1_1 n37_a_paulfellows__1_4_1_2_1_2->n37_a_paulfellows__1_4_1_2_1_2_1 n37_a_paulfellows__1_4_1_2_1_3_1 TO n37_a_paulfellows__1_4_1_2_1_3->n37_a_paulfellows__1_4_1_2_1_3_1 n37_a_paulfellows__1_4_1_2_1_3_2 BE;_Ln_ n37_a_paulfellows__1_4_1_2_1_3->n37_a_paulfellows__1_4_1_2_1_3_2 n37_a_paulfellows__1_4_1_2_1_3_3 NP-PRD n37_a_paulfellows__1_4_1_2_1_3->n37_a_paulfellows__1_4_1_2_1_3_3 n37_a_paulfellows__1_4_1_2_1_3_1->n37_a_paulfellows__1_4_1_2_1_3_1_1 n37_a_paulfellows__1_4_1_2_1_3_2->n37_a_paulfellows__1_4_1_2_1_3_2_1 n37_a_paulfellows__1_4_1_2_1_3_3_1 NPR n37_a_paulfellows__1_4_1_2_1_3_3->n37_a_paulfellows__1_4_1_2_1_3_3_1 n37_a_paulfellows__1_4_1_2_1_3_3_2 NPR n37_a_paulfellows__1_4_1_2_1_3_3->n37_a_paulfellows__1_4_1_2_1_3_3_2 n37_a_paulfellows__1_4_1_2_1_3_3_3 NUM n37_a_paulfellows__1_4_1_2_1_3_3->n37_a_paulfellows__1_4_1_2_1_3_3_3 n37_a_paulfellows__1_4_1_2_1_3_3_1->n37_a_paulfellows__1_4_1_2_1_3_3_1_1 n37_a_paulfellows__1_4_1_2_1_3_3_2->n37_a_paulfellows__1_4_1_2_1_3_3_2_1 n37_a_paulfellows__1_4_1_2_1_3_3_3->n37_a_paulfellows__1_4_1_2_1_3_3_3_1 n37_a_paulfellows__1_4_1_2_1_4_1 P-ROLE n37_a_paulfellows__1_4_1_2_1_4->n37_a_paulfellows__1_4_1_2_1_4_1 n37_a_paulfellows__1_4_1_2_1_4_2 NP n37_a_paulfellows__1_4_1_2_1_4->n37_a_paulfellows__1_4_1_2_1_4_2 n37_a_paulfellows__1_4_1_2_1_4_1->n37_a_paulfellows__1_4_1_2_1_4_1_1 n37_a_paulfellows__1_4_1_2_1_4_2_1 PRO n37_a_paulfellows__1_4_1_2_1_4_2->n37_a_paulfellows__1_4_1_2_1_4_2_1 n37_a_paulfellows__1_4_1_2_1_4_2_1->n37_a_paulfellows__1_4_1_2_1_4_2_1_1 n37_a_paulfellows__1_5->n37_a_paulfellows__1_5_1 
( (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))