Context                Previous, Next                Top


65_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.

n65_a_paulfellows n65_a_paulfellows__1_1_1 And n65_a_paulfellows__1_2_1_1 he n65_a_paulfellows__1_3_1 wrote n65_a_paulfellows__1_4_1_1 a n65_a_paulfellows__1_4_2_1 Window n65_a_paulfellows__1_4_3_1 Manager n65_a_paulfellows__1_5_1 , n65_a_paulfellows__1_6_1_1_1_1 I n65_a_paulfellows__1_6_1_2_1 think n65_a_paulfellows__1_6_1_3_1_1_1_1 he n65_a_paulfellows__1_6_1_3_1_2_1_1 just n65_a_paulfellows__1_6_1_3_1_3_1 wrote n65_a_paulfellows__1_6_1_3_1_4_1_1 that n65_a_paulfellows__1_6_1_3_1_5_1_1 because n65_a_paulfellows__1_6_1_3_1_5_2_1_1_1 he n65_a_paulfellows__1_6_1_3_1_5_2_2_1 wanted n65_a_paulfellows__1_6_1_3_1_5_2_3_1_1 to n65_a_paulfellows__1_6_1_4_1 , n65_a_paulfellows__1_6_1_5_1_1_1_1 the n65_a_paulfellows__1_6_1_5_1_1_2_1 addition n65_a_paulfellows__1_6_1_5_1_1_3_1_1 of n65_a_paulfellows__1_6_1_5_1_1_3_2_1_1 these n65_a_paulfellows__1_6_1_5_1_1_3_2_2_1 two n65_a_paulfellows__1_6_1_5_1_1_3_2_3_1 modules n65_a_paulfellows__1_6_1_5_1_2_1 transformed n65_a_paulfellows__1_6_1_5_1_3_1_1 Arthur n65_a_paulfellows__1_6_1_5_1_4_1_1 from n65_a_paulfellows__1_6_1_5_1_4_2_1_1 that n65_a_paulfellows__1_6_1_5_1_4_2_2_1_1 command-line n65_a_paulfellows__1_6_1_5_1_4_2_3_1 world n65_a_paulfellows__1_6_1_5_1_5_1_1 to n65_a_paulfellows__1_6_1_5_1_5_2_1_1 a n65_a_paulfellows__1_6_1_5_1_5_2_2_1_1_1 desktop n65_a_paulfellows__1_6_1_5_1_5_2_2_2_1 based n65_a_paulfellows__1_6_1_5_1_5_2_3_1 system n65_a_paulfellows__1_7_1 . n65_a_paulfellows__1 IP-MAT n65_a_paulfellows__1_1 CONJ;_cl_ n65_a_paulfellows__1->n65_a_paulfellows__1_1 n65_a_paulfellows__1_2 NP-SBJ n65_a_paulfellows__1->n65_a_paulfellows__1_2 n65_a_paulfellows__1_3 VBD;__ n65_a_paulfellows__1->n65_a_paulfellows__1_3 n65_a_paulfellows__1_4 NP-OB1 n65_a_paulfellows__1->n65_a_paulfellows__1_4 n65_a_paulfellows__1_5 PUNC n65_a_paulfellows__1->n65_a_paulfellows__1_5 n65_a_paulfellows__1_6 PRN n65_a_paulfellows__1->n65_a_paulfellows__1_6 n65_a_paulfellows__1_7 PUNC n65_a_paulfellows__1->n65_a_paulfellows__1_7 n65_a_paulfellows__1_1->n65_a_paulfellows__1_1_1 n65_a_paulfellows__1_2_1 PRO n65_a_paulfellows__1_2->n65_a_paulfellows__1_2_1 n65_a_paulfellows__1_2_1->n65_a_paulfellows__1_2_1_1 n65_a_paulfellows__1_3->n65_a_paulfellows__1_3_1 n65_a_paulfellows__1_4_1 D n65_a_paulfellows__1_4->n65_a_paulfellows__1_4_1 n65_a_paulfellows__1_4_2 N n65_a_paulfellows__1_4->n65_a_paulfellows__1_4_2 n65_a_paulfellows__1_4_3 N n65_a_paulfellows__1_4->n65_a_paulfellows__1_4_3 n65_a_paulfellows__1_4_1->n65_a_paulfellows__1_4_1_1 n65_a_paulfellows__1_4_2->n65_a_paulfellows__1_4_2_1 n65_a_paulfellows__1_4_3->n65_a_paulfellows__1_4_3_1 n65_a_paulfellows__1_5->n65_a_paulfellows__1_5_1 n65_a_paulfellows__1_6_1 IP-MAT n65_a_paulfellows__1_6->n65_a_paulfellows__1_6_1 n65_a_paulfellows__1_6_1_1 NP-SBJ n65_a_paulfellows__1_6_1->n65_a_paulfellows__1_6_1_1 n65_a_paulfellows__1_6_1_2 VBP;__ n65_a_paulfellows__1_6_1->n65_a_paulfellows__1_6_1_2 n65_a_paulfellows__1_6_1_3 CP-THT-OB1 n65_a_paulfellows__1_6_1->n65_a_paulfellows__1_6_1_3 n65_a_paulfellows__1_6_1_4 PUNC n65_a_paulfellows__1_6_1->n65_a_paulfellows__1_6_1_4 n65_a_paulfellows__1_6_1_5 PRN n65_a_paulfellows__1_6_1->n65_a_paulfellows__1_6_1_5 n65_a_paulfellows__1_6_1_1_1 PRO n65_a_paulfellows__1_6_1_1->n65_a_paulfellows__1_6_1_1_1 n65_a_paulfellows__1_6_1_1_1->n65_a_paulfellows__1_6_1_1_1_1 n65_a_paulfellows__1_6_1_2->n65_a_paulfellows__1_6_1_2_1 n65_a_paulfellows__1_6_1_3_1 IP-SUB n65_a_paulfellows__1_6_1_3->n65_a_paulfellows__1_6_1_3_1 n65_a_paulfellows__1_6_1_3_1_1 NP-SBJ n65_a_paulfellows__1_6_1_3_1->n65_a_paulfellows__1_6_1_3_1_1 n65_a_paulfellows__1_6_1_3_1_2 ADVP-NIM n65_a_paulfellows__1_6_1_3_1->n65_a_paulfellows__1_6_1_3_1_2 n65_a_paulfellows__1_6_1_3_1_3 VBD;__ n65_a_paulfellows__1_6_1_3_1->n65_a_paulfellows__1_6_1_3_1_3 n65_a_paulfellows__1_6_1_3_1_4 NP-OB1 n65_a_paulfellows__1_6_1_3_1->n65_a_paulfellows__1_6_1_3_1_4 n65_a_paulfellows__1_6_1_3_1_5 PP-SCON n65_a_paulfellows__1_6_1_3_1->n65_a_paulfellows__1_6_1_3_1_5 n65_a_paulfellows__1_6_1_3_1_1_1 PRO n65_a_paulfellows__1_6_1_3_1_1->n65_a_paulfellows__1_6_1_3_1_1_1 n65_a_paulfellows__1_6_1_3_1_1_1->n65_a_paulfellows__1_6_1_3_1_1_1_1 n65_a_paulfellows__1_6_1_3_1_2_1 ADV n65_a_paulfellows__1_6_1_3_1_2->n65_a_paulfellows__1_6_1_3_1_2_1 n65_a_paulfellows__1_6_1_3_1_2_1->n65_a_paulfellows__1_6_1_3_1_2_1_1 n65_a_paulfellows__1_6_1_3_1_3->n65_a_paulfellows__1_6_1_3_1_3_1 n65_a_paulfellows__1_6_1_3_1_4_1 D;_nphd_ n65_a_paulfellows__1_6_1_3_1_4->n65_a_paulfellows__1_6_1_3_1_4_1 n65_a_paulfellows__1_6_1_3_1_4_1->n65_a_paulfellows__1_6_1_3_1_4_1_1 n65_a_paulfellows__1_6_1_3_1_5_1 P-CONN n65_a_paulfellows__1_6_1_3_1_5->n65_a_paulfellows__1_6_1_3_1_5_1 n65_a_paulfellows__1_6_1_3_1_5_2 IP-ADV n65_a_paulfellows__1_6_1_3_1_5->n65_a_paulfellows__1_6_1_3_1_5_2 n65_a_paulfellows__1_6_1_3_1_5_1->n65_a_paulfellows__1_6_1_3_1_5_1_1 n65_a_paulfellows__1_6_1_3_1_5_2_1 NP-SBJ n65_a_paulfellows__1_6_1_3_1_5_2->n65_a_paulfellows__1_6_1_3_1_5_2_1 n65_a_paulfellows__1_6_1_3_1_5_2_2 VBD;__ n65_a_paulfellows__1_6_1_3_1_5_2->n65_a_paulfellows__1_6_1_3_1_5_2_2 n65_a_paulfellows__1_6_1_3_1_5_2_3 IP-INF-OB1 n65_a_paulfellows__1_6_1_3_1_5_2->n65_a_paulfellows__1_6_1_3_1_5_2_3 n65_a_paulfellows__1_6_1_3_1_5_2_1_1 PRO n65_a_paulfellows__1_6_1_3_1_5_2_1->n65_a_paulfellows__1_6_1_3_1_5_2_1_1 n65_a_paulfellows__1_6_1_3_1_5_2_1_1->n65_a_paulfellows__1_6_1_3_1_5_2_1_1_1 n65_a_paulfellows__1_6_1_3_1_5_2_2->n65_a_paulfellows__1_6_1_3_1_5_2_2_1 n65_a_paulfellows__1_6_1_3_1_5_2_3_1 TO n65_a_paulfellows__1_6_1_3_1_5_2_3->n65_a_paulfellows__1_6_1_3_1_5_2_3_1 n65_a_paulfellows__1_6_1_3_1_5_2_3_1->n65_a_paulfellows__1_6_1_3_1_5_2_3_1_1 n65_a_paulfellows__1_6_1_4->n65_a_paulfellows__1_6_1_4_1 n65_a_paulfellows__1_6_1_5_1 IP-MAT n65_a_paulfellows__1_6_1_5->n65_a_paulfellows__1_6_1_5_1 n65_a_paulfellows__1_6_1_5_1_1 NP-SBJ n65_a_paulfellows__1_6_1_5_1->n65_a_paulfellows__1_6_1_5_1_1 n65_a_paulfellows__1_6_1_5_1_2 VBD;__ n65_a_paulfellows__1_6_1_5_1->n65_a_paulfellows__1_6_1_5_1_2 n65_a_paulfellows__1_6_1_5_1_3 NP-OB1 n65_a_paulfellows__1_6_1_5_1->n65_a_paulfellows__1_6_1_5_1_3 n65_a_paulfellows__1_6_1_5_1_4 PP-NIM n65_a_paulfellows__1_6_1_5_1->n65_a_paulfellows__1_6_1_5_1_4 n65_a_paulfellows__1_6_1_5_1_5 PP-NIM n65_a_paulfellows__1_6_1_5_1->n65_a_paulfellows__1_6_1_5_1_5 n65_a_paulfellows__1_6_1_5_1_1_1 D n65_a_paulfellows__1_6_1_5_1_1->n65_a_paulfellows__1_6_1_5_1_1_1 n65_a_paulfellows__1_6_1_5_1_1_2 N n65_a_paulfellows__1_6_1_5_1_1->n65_a_paulfellows__1_6_1_5_1_1_2 n65_a_paulfellows__1_6_1_5_1_1_3 PP n65_a_paulfellows__1_6_1_5_1_1->n65_a_paulfellows__1_6_1_5_1_1_3 n65_a_paulfellows__1_6_1_5_1_1_1->n65_a_paulfellows__1_6_1_5_1_1_1_1 n65_a_paulfellows__1_6_1_5_1_1_2->n65_a_paulfellows__1_6_1_5_1_1_2_1 n65_a_paulfellows__1_6_1_5_1_1_3_1 P-ROLE n65_a_paulfellows__1_6_1_5_1_1_3->n65_a_paulfellows__1_6_1_5_1_1_3_1 n65_a_paulfellows__1_6_1_5_1_1_3_2 NP n65_a_paulfellows__1_6_1_5_1_1_3->n65_a_paulfellows__1_6_1_5_1_1_3_2 n65_a_paulfellows__1_6_1_5_1_1_3_1->n65_a_paulfellows__1_6_1_5_1_1_3_1_1 n65_a_paulfellows__1_6_1_5_1_1_3_2_1 D n65_a_paulfellows__1_6_1_5_1_1_3_2->n65_a_paulfellows__1_6_1_5_1_1_3_2_1 n65_a_paulfellows__1_6_1_5_1_1_3_2_2 NUM n65_a_paulfellows__1_6_1_5_1_1_3_2->n65_a_paulfellows__1_6_1_5_1_1_3_2_2 n65_a_paulfellows__1_6_1_5_1_1_3_2_3 NS n65_a_paulfellows__1_6_1_5_1_1_3_2->n65_a_paulfellows__1_6_1_5_1_1_3_2_3 n65_a_paulfellows__1_6_1_5_1_1_3_2_1->n65_a_paulfellows__1_6_1_5_1_1_3_2_1_1 n65_a_paulfellows__1_6_1_5_1_1_3_2_2->n65_a_paulfellows__1_6_1_5_1_1_3_2_2_1 n65_a_paulfellows__1_6_1_5_1_1_3_2_3->n65_a_paulfellows__1_6_1_5_1_1_3_2_3_1 n65_a_paulfellows__1_6_1_5_1_2->n65_a_paulfellows__1_6_1_5_1_2_1 n65_a_paulfellows__1_6_1_5_1_3_1 NPR n65_a_paulfellows__1_6_1_5_1_3->n65_a_paulfellows__1_6_1_5_1_3_1 n65_a_paulfellows__1_6_1_5_1_3_1->n65_a_paulfellows__1_6_1_5_1_3_1_1 n65_a_paulfellows__1_6_1_5_1_4_1 P-ROLE n65_a_paulfellows__1_6_1_5_1_4->n65_a_paulfellows__1_6_1_5_1_4_1 n65_a_paulfellows__1_6_1_5_1_4_2 NP n65_a_paulfellows__1_6_1_5_1_4->n65_a_paulfellows__1_6_1_5_1_4_2 n65_a_paulfellows__1_6_1_5_1_4_1->n65_a_paulfellows__1_6_1_5_1_4_1_1 n65_a_paulfellows__1_6_1_5_1_4_2_1 D n65_a_paulfellows__1_6_1_5_1_4_2->n65_a_paulfellows__1_6_1_5_1_4_2_1 n65_a_paulfellows__1_6_1_5_1_4_2_2 ADJP n65_a_paulfellows__1_6_1_5_1_4_2->n65_a_paulfellows__1_6_1_5_1_4_2_2 n65_a_paulfellows__1_6_1_5_1_4_2_3 N n65_a_paulfellows__1_6_1_5_1_4_2->n65_a_paulfellows__1_6_1_5_1_4_2_3 n65_a_paulfellows__1_6_1_5_1_4_2_1->n65_a_paulfellows__1_6_1_5_1_4_2_1_1 n65_a_paulfellows__1_6_1_5_1_4_2_2_1 ADJ n65_a_paulfellows__1_6_1_5_1_4_2_2->n65_a_paulfellows__1_6_1_5_1_4_2_2_1 n65_a_paulfellows__1_6_1_5_1_4_2_2_1->n65_a_paulfellows__1_6_1_5_1_4_2_2_1_1 n65_a_paulfellows__1_6_1_5_1_4_2_3->n65_a_paulfellows__1_6_1_5_1_4_2_3_1 n65_a_paulfellows__1_6_1_5_1_5_1 P-ROLE n65_a_paulfellows__1_6_1_5_1_5->n65_a_paulfellows__1_6_1_5_1_5_1 n65_a_paulfellows__1_6_1_5_1_5_2 NP n65_a_paulfellows__1_6_1_5_1_5->n65_a_paulfellows__1_6_1_5_1_5_2 n65_a_paulfellows__1_6_1_5_1_5_1->n65_a_paulfellows__1_6_1_5_1_5_1_1 n65_a_paulfellows__1_6_1_5_1_5_2_1 D n65_a_paulfellows__1_6_1_5_1_5_2->n65_a_paulfellows__1_6_1_5_1_5_2_1 n65_a_paulfellows__1_6_1_5_1_5_2_2 ADJP n65_a_paulfellows__1_6_1_5_1_5_2->n65_a_paulfellows__1_6_1_5_1_5_2_2 n65_a_paulfellows__1_6_1_5_1_5_2_3 N n65_a_paulfellows__1_6_1_5_1_5_2->n65_a_paulfellows__1_6_1_5_1_5_2_3 n65_a_paulfellows__1_6_1_5_1_5_2_1->n65_a_paulfellows__1_6_1_5_1_5_2_1_1 n65_a_paulfellows__1_6_1_5_1_5_2_2_1 NP n65_a_paulfellows__1_6_1_5_1_5_2_2->n65_a_paulfellows__1_6_1_5_1_5_2_2_1 n65_a_paulfellows__1_6_1_5_1_5_2_2_2 ADJ n65_a_paulfellows__1_6_1_5_1_5_2_2->n65_a_paulfellows__1_6_1_5_1_5_2_2_2 n65_a_paulfellows__1_6_1_5_1_5_2_2_1_1 N n65_a_paulfellows__1_6_1_5_1_5_2_2_1->n65_a_paulfellows__1_6_1_5_1_5_2_2_1_1 n65_a_paulfellows__1_6_1_5_1_5_2_2_1_1->n65_a_paulfellows__1_6_1_5_1_5_2_2_1_1_1 n65_a_paulfellows__1_6_1_5_1_5_2_2_2->n65_a_paulfellows__1_6_1_5_1_5_2_2_2_1 n65_a_paulfellows__1_6_1_5_1_5_2_3->n65_a_paulfellows__1_6_1_5_1_5_2_3_1 n65_a_paulfellows__1_7->n65_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 65_a_paulfellows))


%3 z_0065_5008 r_0065_0002__he he z_0065_5008->r_0065_0002__he [arg0] r_0065_0034__based based r_0065_0033__desktop desktop r_0065_0034__based->r_0065_0033__desktop [nim] r_0065_0032__a_r_0065_0035__system a system r_0065_0032__a_r_0065_0035__system->r_0065_0034__based [attrib] r_0065_0028__that_r_0065_0030__world that world r_0065_0029__command__hyphen__line command-line r_0065_0028__that_r_0065_0030__world->r_0065_0029__command__hyphen__line [attrib] r_0065_0025__transformed transformed r_0065_0025__transformed->r_0065_0032__a_r_0065_0035__system to [nim] r_0065_0025__transformed->r_0065_0028__that_r_0065_0030__world from [nim] r_0065_0026__Arthur Arthur r_0065_0025__transformed->r_0065_0026__Arthur [arg1] r_0065_0019__the_r_0065_0020__addition the addition r_0065_0025__transformed->r_0065_0019__the_r_0065_0020__addition [arg0] r_0065_0022__these_r_0065_0023__two_r_0065_0024__modules these two modules r_0065_0019__the_r_0065_0020__addition->r_0065_0022__these_r_0065_0023__two_r_0065_0024__modules of r_0065_0016__wanted wanted r_0065_0016__wanted->z_0065_5008 [arg1] r_0065_0016__wanted->r_0065_0002__he [arg0] r_0065_0014__because because r_0065_0014__because->r_0065_0016__wanted [restriction] r_0065_0012__wrote wrote r_0065_0014__because->r_0065_0012__wrote [scope] r_0065_0012__wrote->r_0065_0002__he [arg0] r_0065_0013__that that r_0065_0012__wrote->r_0065_0013__that [arg1] r_0065_0011__just just r_0065_0012__wrote->r_0065_0011__just [nim] r_0065_0009__think think r_0065_0009__think->r_0065_0025__transformed [prn] r_0065_0009__think->r_0065_0014__because [arg1] r_0065_0008__I I r_0065_0009__think->r_0065_0008__I [arg0] r_0065_0003__wrote wrote r_0065_0003__wrote->r_0065_0002__he [arg0] r_0065_0003__wrote->r_0065_0009__think [prn] r_0065_0004__a_r_0065_0005__Window_r_0065_0006__Manager a Window Manager r_0065_0003__wrote->r_0065_0004__a_r_0065_0005__Window_r_0065_0006__Manager [arg1] 
arc(r_0065_0003__wrote,r_0065_0002__he,arg0).
arc(r_0065_0003__wrote,r_0065_0004__a_r_0065_0005__Window_r_0065_0006__Manager,arg1).
arc(r_0065_0003__wrote,r_0065_0009__think,prn).
arc(r_0065_0009__think,r_0065_0008__I,arg0).
arc(r_0065_0009__think,r_0065_0014__because,arg1).
arc(r_0065_0009__think,r_0065_0025__transformed,prn).
arc(r_0065_0012__wrote,r_0065_0002__he,arg0).
arc(r_0065_0012__wrote,r_0065_0011__just,nim).
arc(r_0065_0012__wrote,r_0065_0013__that,arg1).
arc(r_0065_0014__because,r_0065_0012__wrote,scope).
arc(r_0065_0014__because,r_0065_0016__wanted,restriction).
arc(r_0065_0016__wanted,r_0065_0002__he,arg0).
arc(r_0065_0016__wanted,z_0065_5008,arg1).
arc(r_0065_0019__the_r_0065_0020__addition,r_0065_0022__these_r_0065_0023__two_r_0065_0024__modules,r_0065_0021__of).
arc(r_0065_0025__transformed,r_0065_0019__the_r_0065_0020__addition,arg0).
arc(r_0065_0025__transformed,r_0065_0026__Arthur,arg1).
arc(r_0065_0025__transformed,r_0065_0028__that_r_0065_0030__world,r_0065_0027__from__nim).
arc(r_0065_0025__transformed,r_0065_0032__a_r_0065_0035__system,r_0065_0031__to__nim).
arc(r_0065_0028__that_r_0065_0030__world,r_0065_0029__command__hyphen__line,attrib).
arc(r_0065_0032__a_r_0065_0035__system,r_0065_0034__based,attrib).
arc(r_0065_0034__based,r_0065_0033__desktop,nim).
arc(z_0065_5008,r_0065_0002__he,arg0).


%3 r_0065_0003__wrote wrote r_0065_0002__he he r_0065_0003__wrote->r_0065_0002__he [arg0] r_0065_0004__a_r_0065_0005__Window_r_0065_0006__Manager a Window Manager r_0065_0003__wrote->r_0065_0004__a_r_0065_0005__Window_r_0065_0006__Manager [arg1] r_0065_0009__think think r_0065_0003__wrote->r_0065_0009__think [prn] r_0065_0008__I I r_0065_0009__think->r_0065_0008__I [arg0] r_0065_0014__because because r_0065_0009__think->r_0065_0014__because [arg1] r_0065_0025__transformed transformed r_0065_0009__think->r_0065_0025__transformed [prn] r_0065_0012__wrote wrote r_0065_0014__because->r_0065_0012__wrote [conj2] r_0065_0016__wanted wanted r_0065_0014__because->r_0065_0016__wanted [conj1] r_0065_0019__the_r_0065_0020__addition the addition r_0065_0025__transformed->r_0065_0019__the_r_0065_0020__addition [arg0] r_0065_0026__Arthur Arthur r_0065_0025__transformed->r_0065_0026__Arthur [arg1] r_0065_0028__that_r_0065_0030__world that world r_0065_0025__transformed->r_0065_0028__that_r_0065_0030__world from [nim] r_0065_0032__a_r_0065_0035__system a system r_0065_0025__transformed->r_0065_0032__a_r_0065_0035__system to [nim] r_0065_0012__wrote->r_0065_0002__he [arg0] r_0065_0011__just just r_0065_0012__wrote->r_0065_0011__just [nim] r_0065_0013__that that r_0065_0012__wrote->r_0065_0013__that [arg1] r_0065_0016__wanted->r_0065_0002__he [arg0] z_0065_5008 r_0065_0016__wanted->z_0065_5008 [arg1] z_0065_5008->r_0065_0002__he [arg0] r_0065_0022__these_r_0065_0023__two_r_0065_0024__modules these two modules r_0065_0019__the_r_0065_0020__addition->r_0065_0022__these_r_0065_0023__two_r_0065_0024__modules of r_0065_0029__command__hyphen__line command-line r_0065_0028__that_r_0065_0030__world->r_0065_0029__command__hyphen__line [attrib] r_0065_0034__based based r_0065_0032__a_r_0065_0035__system->r_0065_0034__based [attrib] r_0065_0033__desktop desktop r_0065_0034__based->r_0065_0033__desktop [nim] 
fof(formula,axiom,
    ? [R_0065_0002__HE,R_0065_0004__A_R_0065_0005__WINDOW_R_0065_0006__MANAGER,R_0065_0008__I,R_0065_0011__JUST,R_0065_0013__THAT,R_0065_0012__WROTE,Z_0065_5008,R_0065_0016__WANTED,R_0065_0014__BECAUSE,R_0065_0022__THESE_R_0065_0023__TWO_R_0065_0024__MODULES,R_0065_0019__THE_R_0065_0020__ADDITION,R_0065_0026__ARTHUR,R_0065_0029__COMMAND__HYPHEN__LINE,R_0065_0028__THAT_R_0065_0030__WORLD,R_0065_0033__DESKTOP,R_0065_0034__BASED,R_0065_0032__A_R_0065_0035__SYSTEM,R_0065_0025__TRANSFORMED,R_0065_0009__THINK,R_0065_0003__WROTE] :
      ( r_0065_0002__he(R_0065_0002__HE)
      & r_0065_0004__a_r_0065_0005__Window_r_0065_0006__Manager(R_0065_0004__A_R_0065_0005__WINDOW_R_0065_0006__MANAGER)
      & r_0065_0008__I(R_0065_0008__I)
      & r_0065_0011__just(R_0065_0011__JUST)
      & r_0065_0013__that(R_0065_0013__THAT)
      & r_0065_0022__these_r_0065_0023__two_r_0065_0024__modules(R_0065_0022__THESE_R_0065_0023__TWO_R_0065_0024__MODULES)
      & r_0065_0026__Arthur(R_0065_0026__ARTHUR)
      & r_0065_0029__command__hyphen__line(R_0065_0029__COMMAND__HYPHEN__LINE)
      & r_0065_0033__desktop(R_0065_0033__DESKTOP)
      & r_0065_0003__wrote(R_0065_0003__WROTE)
      & has_prn(R_0065_0003__WROTE,R_0065_0009__THINK)
      & r_0065_0009__think(R_0065_0009__THINK)
      & has_prn(R_0065_0009__THINK,R_0065_0025__TRANSFORMED)
      & r_0065_0025__transformed(R_0065_0025__TRANSFORMED)
      & has_r_0065_0031__to__nim(R_0065_0025__TRANSFORMED,R_0065_0032__A_R_0065_0035__SYSTEM)
      & r_0065_0032__a_r_0065_0035__system(R_0065_0032__A_R_0065_0035__SYSTEM)
      & has_attrib(R_0065_0032__A_R_0065_0035__SYSTEM,R_0065_0034__BASED)
      & r_0065_0034__based(R_0065_0034__BASED)
      & has_nim(R_0065_0034__BASED,R_0065_0033__DESKTOP)
      & has_r_0065_0027__from__nim(R_0065_0025__TRANSFORMED,R_0065_0028__THAT_R_0065_0030__WORLD)
      & r_0065_0028__that_r_0065_0030__world(R_0065_0028__THAT_R_0065_0030__WORLD)
      & has_attrib(R_0065_0028__THAT_R_0065_0030__WORLD,R_0065_0029__COMMAND__HYPHEN__LINE)
      & has_arg1(R_0065_0025__TRANSFORMED,R_0065_0026__ARTHUR)
      & has_arg0(R_0065_0025__TRANSFORMED,R_0065_0019__THE_R_0065_0020__ADDITION)
      & r_0065_0019__the_r_0065_0020__addition(R_0065_0019__THE_R_0065_0020__ADDITION)
      & has_r_0065_0021__of(R_0065_0019__THE_R_0065_0020__ADDITION,R_0065_0022__THESE_R_0065_0023__TWO_R_0065_0024__MODULES)
      & has_arg1(R_0065_0009__THINK,R_0065_0014__BECAUSE)
      & r_0065_0014__because(R_0065_0014__BECAUSE)
      & has_conj1(R_0065_0014__BECAUSE,R_0065_0016__WANTED)
      & r_0065_0016__wanted(R_0065_0016__WANTED)
      & has_arg1(R_0065_0016__WANTED,Z_0065_5008)
      & z_0065_5008(Z_0065_5008)
      & has_arg0(Z_0065_5008,R_0065_0002__HE)
      & has_arg0(R_0065_0016__WANTED,R_0065_0002__HE)
      & has_conj2(R_0065_0014__BECAUSE,R_0065_0012__WROTE)
      & r_0065_0012__wrote(R_0065_0012__WROTE)
      & has_arg1(R_0065_0012__WROTE,R_0065_0013__THAT)
      & has_nim(R_0065_0012__WROTE,R_0065_0011__JUST)
      & has_arg0(R_0065_0012__WROTE,R_0065_0002__HE)
      & has_arg0(R_0065_0009__THINK,R_0065_0008__I)
      & has_arg1(R_0065_0003__WROTE,R_0065_0004__A_R_0065_0005__WINDOW_R_0065_0006__MANAGER)
      & has_arg0(R_0065_0003__WROTE,R_0065_0002__HE) ) ).