Context                Previous, Next                Top


66_a_paulfellows
And he wrote a Window Manager, I think he just wrote that because he wanted to, the addition of these two modules transformed Arthur from that command-line world to a desktop based system.

%3 r_0066_0001__And_r_0066_0003__wrote And wrote r_0066_0002__he he r_0066_0001__And_r_0066_0003__wrote->r_0066_0002__he [arg0] r_0066_0004__a_r_0066_0005__Window_r_0066_0006__Manager a Window Manager r_0066_0001__And_r_0066_0003__wrote->r_0066_0004__a_r_0066_0005__Window_r_0066_0006__Manager [arg1] 
arc(r_0066_0001__And_r_0066_0003__wrote, r_0066_0002__he, arg0).
arc(r_0066_0001__And_r_0066_0003__wrote, r_0066_0004__a_r_0066_0005__Window_r_0066_0006__Manager, arg1).


%3 r_0066_0001__And_r_0066_0003__wrote And wrote r_0066_0004__a_r_0066_0005__Window_r_0066_0006__Manager a Window Manager r_0066_0001__And_r_0066_0003__wrote->r_0066_0004__a_r_0066_0005__Window_r_0066_0006__Manager [arg1] r_0066_0002__he he r_0066_0001__And_r_0066_0003__wrote->r_0066_0002__he [arg0] 
fof(formula,axiom,
    ? [R_0066_0002__HE,R_0066_0004__A_R_0066_0005__WINDOW_R_0066_0006__MANAGER,R_0066_0001__AND_R_0066_0003__WROTE] :
      ( r_0066_0002__he(R_0066_0002__HE)
      & r_0066_0004__a_r_0066_0005__Window_r_0066_0006__Manager(R_0066_0004__A_R_0066_0005__WINDOW_R_0066_0006__MANAGER)
      & r_0066_0001__And_r_0066_0003__wrote(R_0066_0001__AND_R_0066_0003__WROTE)
      & has_arg1(R_0066_0001__AND_R_0066_0003__WROTE,R_0066_0004__A_R_0066_0005__WINDOW_R_0066_0006__MANAGER)
      & has_arg0(R_0066_0001__AND_R_0066_0003__WROTE,R_0066_0002__HE) ) ).


n66_a_paulfellows n66_a_paulfellows__1_1_1 And n66_a_paulfellows__1_2_1_1 he n66_a_paulfellows__1_3_1 wrote n66_a_paulfellows__1_4_1_1 a n66_a_paulfellows__1_4_2_1 Window n66_a_paulfellows__1_4_3_1 Manager n66_a_paulfellows__1_5_1 , n66_a_paulfellows__1_6_1_1_1_1 I n66_a_paulfellows__1_6_1_2_1 think n66_a_paulfellows__1_6_1_3_1_1_1_1 he n66_a_paulfellows__1_6_1_3_1_2_1_1 just n66_a_paulfellows__1_6_1_3_1_3_1 wrote n66_a_paulfellows__1_6_1_3_1_4_1_1 that n66_a_paulfellows__1_6_1_3_1_5_1_1 because n66_a_paulfellows__1_6_1_3_1_5_2_1_1_1 he n66_a_paulfellows__1_6_1_3_1_5_2_2_1 wanted n66_a_paulfellows__1_6_1_3_1_5_2_3_1_1 to n66_a_paulfellows__1_6_1_4_1 , n66_a_paulfellows__1_6_1_5_1_1_1_1 the n66_a_paulfellows__1_6_1_5_1_1_2_1 addition n66_a_paulfellows__1_6_1_5_1_1_3_1_1 of n66_a_paulfellows__1_6_1_5_1_1_3_2_1_1 these n66_a_paulfellows__1_6_1_5_1_1_3_2_2_1 two n66_a_paulfellows__1_6_1_5_1_1_3_2_3_1 modules n66_a_paulfellows__1_6_1_5_1_2_1 transformed n66_a_paulfellows__1_6_1_5_1_3_1_1 Arthur n66_a_paulfellows__1_6_1_5_1_4_1_1 from n66_a_paulfellows__1_6_1_5_1_4_2_1_1 that n66_a_paulfellows__1_6_1_5_1_4_2_2_1_1 command-line n66_a_paulfellows__1_6_1_5_1_4_2_3_1 world n66_a_paulfellows__1_6_1_5_1_5_1_1 to n66_a_paulfellows__1_6_1_5_1_5_2_1_1 a n66_a_paulfellows__1_6_1_5_1_5_2_2_1_1_1 desktop n66_a_paulfellows__1_6_1_5_1_5_2_2_2_1 based n66_a_paulfellows__1_6_1_5_1_5_2_3_1 system n66_a_paulfellows__1_7_1 . n66_a_paulfellows__1 IP-MAT n66_a_paulfellows__1_1 CONJ;_cl_ n66_a_paulfellows__1->n66_a_paulfellows__1_1 n66_a_paulfellows__1_2 NP-SBJ n66_a_paulfellows__1->n66_a_paulfellows__1_2 n66_a_paulfellows__1_3 VBD;__ n66_a_paulfellows__1->n66_a_paulfellows__1_3 n66_a_paulfellows__1_4 NP-OB1 n66_a_paulfellows__1->n66_a_paulfellows__1_4 n66_a_paulfellows__1_5 PUNC n66_a_paulfellows__1->n66_a_paulfellows__1_5 n66_a_paulfellows__1_6 PRN n66_a_paulfellows__1->n66_a_paulfellows__1_6 n66_a_paulfellows__1_7 PUNC n66_a_paulfellows__1->n66_a_paulfellows__1_7 n66_a_paulfellows__1_1->n66_a_paulfellows__1_1_1 n66_a_paulfellows__1_2_1 PRO n66_a_paulfellows__1_2->n66_a_paulfellows__1_2_1 n66_a_paulfellows__1_2_1->n66_a_paulfellows__1_2_1_1 n66_a_paulfellows__1_3->n66_a_paulfellows__1_3_1 n66_a_paulfellows__1_4_1 D n66_a_paulfellows__1_4->n66_a_paulfellows__1_4_1 n66_a_paulfellows__1_4_2 N n66_a_paulfellows__1_4->n66_a_paulfellows__1_4_2 n66_a_paulfellows__1_4_3 N n66_a_paulfellows__1_4->n66_a_paulfellows__1_4_3 n66_a_paulfellows__1_4_1->n66_a_paulfellows__1_4_1_1 n66_a_paulfellows__1_4_2->n66_a_paulfellows__1_4_2_1 n66_a_paulfellows__1_4_3->n66_a_paulfellows__1_4_3_1 n66_a_paulfellows__1_5->n66_a_paulfellows__1_5_1 n66_a_paulfellows__1_6_1 IP-MAT n66_a_paulfellows__1_6->n66_a_paulfellows__1_6_1 n66_a_paulfellows__1_6_1_1 NP-SBJ n66_a_paulfellows__1_6_1->n66_a_paulfellows__1_6_1_1 n66_a_paulfellows__1_6_1_2 VBP;__ n66_a_paulfellows__1_6_1->n66_a_paulfellows__1_6_1_2 n66_a_paulfellows__1_6_1_3 CP-THT-OB1 n66_a_paulfellows__1_6_1->n66_a_paulfellows__1_6_1_3 n66_a_paulfellows__1_6_1_4 PUNC n66_a_paulfellows__1_6_1->n66_a_paulfellows__1_6_1_4 n66_a_paulfellows__1_6_1_5 PRN n66_a_paulfellows__1_6_1->n66_a_paulfellows__1_6_1_5 n66_a_paulfellows__1_6_1_1_1 PRO n66_a_paulfellows__1_6_1_1->n66_a_paulfellows__1_6_1_1_1 n66_a_paulfellows__1_6_1_1_1->n66_a_paulfellows__1_6_1_1_1_1 n66_a_paulfellows__1_6_1_2->n66_a_paulfellows__1_6_1_2_1 n66_a_paulfellows__1_6_1_3_1 IP-SUB n66_a_paulfellows__1_6_1_3->n66_a_paulfellows__1_6_1_3_1 n66_a_paulfellows__1_6_1_3_1_1 NP-SBJ n66_a_paulfellows__1_6_1_3_1->n66_a_paulfellows__1_6_1_3_1_1 n66_a_paulfellows__1_6_1_3_1_2 ADVP-NIM n66_a_paulfellows__1_6_1_3_1->n66_a_paulfellows__1_6_1_3_1_2 n66_a_paulfellows__1_6_1_3_1_3 VBD;__ n66_a_paulfellows__1_6_1_3_1->n66_a_paulfellows__1_6_1_3_1_3 n66_a_paulfellows__1_6_1_3_1_4 NP-OB1 n66_a_paulfellows__1_6_1_3_1->n66_a_paulfellows__1_6_1_3_1_4 n66_a_paulfellows__1_6_1_3_1_5 PP-SCON n66_a_paulfellows__1_6_1_3_1->n66_a_paulfellows__1_6_1_3_1_5 n66_a_paulfellows__1_6_1_3_1_1_1 PRO n66_a_paulfellows__1_6_1_3_1_1->n66_a_paulfellows__1_6_1_3_1_1_1 n66_a_paulfellows__1_6_1_3_1_1_1->n66_a_paulfellows__1_6_1_3_1_1_1_1 n66_a_paulfellows__1_6_1_3_1_2_1 ADV n66_a_paulfellows__1_6_1_3_1_2->n66_a_paulfellows__1_6_1_3_1_2_1 n66_a_paulfellows__1_6_1_3_1_2_1->n66_a_paulfellows__1_6_1_3_1_2_1_1 n66_a_paulfellows__1_6_1_3_1_3->n66_a_paulfellows__1_6_1_3_1_3_1 n66_a_paulfellows__1_6_1_3_1_4_1 D;_nphd_ n66_a_paulfellows__1_6_1_3_1_4->n66_a_paulfellows__1_6_1_3_1_4_1 n66_a_paulfellows__1_6_1_3_1_4_1->n66_a_paulfellows__1_6_1_3_1_4_1_1 n66_a_paulfellows__1_6_1_3_1_5_1 P-CONN n66_a_paulfellows__1_6_1_3_1_5->n66_a_paulfellows__1_6_1_3_1_5_1 n66_a_paulfellows__1_6_1_3_1_5_2 IP-ADV n66_a_paulfellows__1_6_1_3_1_5->n66_a_paulfellows__1_6_1_3_1_5_2 n66_a_paulfellows__1_6_1_3_1_5_1->n66_a_paulfellows__1_6_1_3_1_5_1_1 n66_a_paulfellows__1_6_1_3_1_5_2_1 NP-SBJ n66_a_paulfellows__1_6_1_3_1_5_2->n66_a_paulfellows__1_6_1_3_1_5_2_1 n66_a_paulfellows__1_6_1_3_1_5_2_2 VBD;__ n66_a_paulfellows__1_6_1_3_1_5_2->n66_a_paulfellows__1_6_1_3_1_5_2_2 n66_a_paulfellows__1_6_1_3_1_5_2_3 IP-INF-OB1 n66_a_paulfellows__1_6_1_3_1_5_2->n66_a_paulfellows__1_6_1_3_1_5_2_3 n66_a_paulfellows__1_6_1_3_1_5_2_1_1 PRO n66_a_paulfellows__1_6_1_3_1_5_2_1->n66_a_paulfellows__1_6_1_3_1_5_2_1_1 n66_a_paulfellows__1_6_1_3_1_5_2_1_1->n66_a_paulfellows__1_6_1_3_1_5_2_1_1_1 n66_a_paulfellows__1_6_1_3_1_5_2_2->n66_a_paulfellows__1_6_1_3_1_5_2_2_1 n66_a_paulfellows__1_6_1_3_1_5_2_3_1 TO n66_a_paulfellows__1_6_1_3_1_5_2_3->n66_a_paulfellows__1_6_1_3_1_5_2_3_1 n66_a_paulfellows__1_6_1_3_1_5_2_3_1->n66_a_paulfellows__1_6_1_3_1_5_2_3_1_1 n66_a_paulfellows__1_6_1_4->n66_a_paulfellows__1_6_1_4_1 n66_a_paulfellows__1_6_1_5_1 IP-MAT n66_a_paulfellows__1_6_1_5->n66_a_paulfellows__1_6_1_5_1 n66_a_paulfellows__1_6_1_5_1_1 NP-SBJ n66_a_paulfellows__1_6_1_5_1->n66_a_paulfellows__1_6_1_5_1_1 n66_a_paulfellows__1_6_1_5_1_2 VBD;__ n66_a_paulfellows__1_6_1_5_1->n66_a_paulfellows__1_6_1_5_1_2 n66_a_paulfellows__1_6_1_5_1_3 NP-OB1 n66_a_paulfellows__1_6_1_5_1->n66_a_paulfellows__1_6_1_5_1_3 n66_a_paulfellows__1_6_1_5_1_4 PP-NIM n66_a_paulfellows__1_6_1_5_1->n66_a_paulfellows__1_6_1_5_1_4 n66_a_paulfellows__1_6_1_5_1_5 PP-NIM n66_a_paulfellows__1_6_1_5_1->n66_a_paulfellows__1_6_1_5_1_5 n66_a_paulfellows__1_6_1_5_1_1_1 D n66_a_paulfellows__1_6_1_5_1_1->n66_a_paulfellows__1_6_1_5_1_1_1 n66_a_paulfellows__1_6_1_5_1_1_2 N n66_a_paulfellows__1_6_1_5_1_1->n66_a_paulfellows__1_6_1_5_1_1_2 n66_a_paulfellows__1_6_1_5_1_1_3 PP n66_a_paulfellows__1_6_1_5_1_1->n66_a_paulfellows__1_6_1_5_1_1_3 n66_a_paulfellows__1_6_1_5_1_1_1->n66_a_paulfellows__1_6_1_5_1_1_1_1 n66_a_paulfellows__1_6_1_5_1_1_2->n66_a_paulfellows__1_6_1_5_1_1_2_1 n66_a_paulfellows__1_6_1_5_1_1_3_1 P-ROLE n66_a_paulfellows__1_6_1_5_1_1_3->n66_a_paulfellows__1_6_1_5_1_1_3_1 n66_a_paulfellows__1_6_1_5_1_1_3_2 NP n66_a_paulfellows__1_6_1_5_1_1_3->n66_a_paulfellows__1_6_1_5_1_1_3_2 n66_a_paulfellows__1_6_1_5_1_1_3_1->n66_a_paulfellows__1_6_1_5_1_1_3_1_1 n66_a_paulfellows__1_6_1_5_1_1_3_2_1 D n66_a_paulfellows__1_6_1_5_1_1_3_2->n66_a_paulfellows__1_6_1_5_1_1_3_2_1 n66_a_paulfellows__1_6_1_5_1_1_3_2_2 NUM n66_a_paulfellows__1_6_1_5_1_1_3_2->n66_a_paulfellows__1_6_1_5_1_1_3_2_2 n66_a_paulfellows__1_6_1_5_1_1_3_2_3 NS n66_a_paulfellows__1_6_1_5_1_1_3_2->n66_a_paulfellows__1_6_1_5_1_1_3_2_3 n66_a_paulfellows__1_6_1_5_1_1_3_2_1->n66_a_paulfellows__1_6_1_5_1_1_3_2_1_1 n66_a_paulfellows__1_6_1_5_1_1_3_2_2->n66_a_paulfellows__1_6_1_5_1_1_3_2_2_1 n66_a_paulfellows__1_6_1_5_1_1_3_2_3->n66_a_paulfellows__1_6_1_5_1_1_3_2_3_1 n66_a_paulfellows__1_6_1_5_1_2->n66_a_paulfellows__1_6_1_5_1_2_1 n66_a_paulfellows__1_6_1_5_1_3_1 NPR n66_a_paulfellows__1_6_1_5_1_3->n66_a_paulfellows__1_6_1_5_1_3_1 n66_a_paulfellows__1_6_1_5_1_3_1->n66_a_paulfellows__1_6_1_5_1_3_1_1 n66_a_paulfellows__1_6_1_5_1_4_1 P-ROLE n66_a_paulfellows__1_6_1_5_1_4->n66_a_paulfellows__1_6_1_5_1_4_1 n66_a_paulfellows__1_6_1_5_1_4_2 NP n66_a_paulfellows__1_6_1_5_1_4->n66_a_paulfellows__1_6_1_5_1_4_2 n66_a_paulfellows__1_6_1_5_1_4_1->n66_a_paulfellows__1_6_1_5_1_4_1_1 n66_a_paulfellows__1_6_1_5_1_4_2_1 D n66_a_paulfellows__1_6_1_5_1_4_2->n66_a_paulfellows__1_6_1_5_1_4_2_1 n66_a_paulfellows__1_6_1_5_1_4_2_2 ADJP n66_a_paulfellows__1_6_1_5_1_4_2->n66_a_paulfellows__1_6_1_5_1_4_2_2 n66_a_paulfellows__1_6_1_5_1_4_2_3 N n66_a_paulfellows__1_6_1_5_1_4_2->n66_a_paulfellows__1_6_1_5_1_4_2_3 n66_a_paulfellows__1_6_1_5_1_4_2_1->n66_a_paulfellows__1_6_1_5_1_4_2_1_1 n66_a_paulfellows__1_6_1_5_1_4_2_2_1 ADJ n66_a_paulfellows__1_6_1_5_1_4_2_2->n66_a_paulfellows__1_6_1_5_1_4_2_2_1 n66_a_paulfellows__1_6_1_5_1_4_2_2_1->n66_a_paulfellows__1_6_1_5_1_4_2_2_1_1 n66_a_paulfellows__1_6_1_5_1_4_2_3->n66_a_paulfellows__1_6_1_5_1_4_2_3_1 n66_a_paulfellows__1_6_1_5_1_5_1 P-ROLE n66_a_paulfellows__1_6_1_5_1_5->n66_a_paulfellows__1_6_1_5_1_5_1 n66_a_paulfellows__1_6_1_5_1_5_2 NP n66_a_paulfellows__1_6_1_5_1_5->n66_a_paulfellows__1_6_1_5_1_5_2 n66_a_paulfellows__1_6_1_5_1_5_1->n66_a_paulfellows__1_6_1_5_1_5_1_1 n66_a_paulfellows__1_6_1_5_1_5_2_1 D n66_a_paulfellows__1_6_1_5_1_5_2->n66_a_paulfellows__1_6_1_5_1_5_2_1 n66_a_paulfellows__1_6_1_5_1_5_2_2 ADJP n66_a_paulfellows__1_6_1_5_1_5_2->n66_a_paulfellows__1_6_1_5_1_5_2_2 n66_a_paulfellows__1_6_1_5_1_5_2_3 N n66_a_paulfellows__1_6_1_5_1_5_2->n66_a_paulfellows__1_6_1_5_1_5_2_3 n66_a_paulfellows__1_6_1_5_1_5_2_1->n66_a_paulfellows__1_6_1_5_1_5_2_1_1 n66_a_paulfellows__1_6_1_5_1_5_2_2_1 NP n66_a_paulfellows__1_6_1_5_1_5_2_2->n66_a_paulfellows__1_6_1_5_1_5_2_2_1 n66_a_paulfellows__1_6_1_5_1_5_2_2_2 ADJ n66_a_paulfellows__1_6_1_5_1_5_2_2->n66_a_paulfellows__1_6_1_5_1_5_2_2_2 n66_a_paulfellows__1_6_1_5_1_5_2_2_1_1 N n66_a_paulfellows__1_6_1_5_1_5_2_2_1->n66_a_paulfellows__1_6_1_5_1_5_2_2_1_1 n66_a_paulfellows__1_6_1_5_1_5_2_2_1_1->n66_a_paulfellows__1_6_1_5_1_5_2_2_1_1_1 n66_a_paulfellows__1_6_1_5_1_5_2_2_2->n66_a_paulfellows__1_6_1_5_1_5_2_2_2_1 n66_a_paulfellows__1_6_1_5_1_5_2_3->n66_a_paulfellows__1_6_1_5_1_5_2_3_1 n66_a_paulfellows__1_7->n66_a_paulfellows__1_7_1 
( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{NEIL} (PRO he;{he}))
          (VBD;__ wrote;{write})
          (NP-OB1 (D a;{a})
                  (N Window;{window})
                  (N Manager;{manager}))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                       (VBP;__ think;{think})
                       (CP-THT-OB1 (IP-SUB (NP-SBJ;{NEIL} (PRO he;{he}))
                                           (ADVP-NIM (ADV just;{just}))
                                           (VBD;__ wrote;{write})
                                           (NP-OB1 (D;_nphd_ that;{that}))
                                           (PP-SCON (P-CONN because;{because})
                                                    (IP-ADV (NP-SBJ;{NEIL} (PRO he;{he}))
                                                            (VBD;__ wanted;{want})
                                                            (IP-INF-OB1 (TO to;{to}))))))
                       (PUNC ,)
                       (PRN (IP-MAT (NP-SBJ (D the;{the})
                                            (N addition;{addition})
                                            (PP (P-ROLE of;{of})
                                                (NP (D these;{these})
                                                    (NUM two;{two})
                                                    (NS modules;{module}))))
                                    (VBD;__ transformed;{transform})
                                    (NP-OB1 (NPR Arthur;{Arthur}))
                                    (PP-NIM (P-ROLE from;{from})
                                            (NP (D that;{that})
                                                (ADJP (ADJ command_<hyphen>_line;{command_line}))
                                                (N world;{world})))
                                    (PP-NIM (P-ROLE to;{to})
                                            (NP (D a;{a})
                                                (ADJP (NP (N desktop;{desktop}))
                                                      (ADJ based;{based}))
                                                (N system;{system})))))))
          (PUNC .))
  (ID 66_a_paulfellows))