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_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] 
fof(formula,axiom,
    ? [R_66_1_AND_WROTE,R_66_2_HE,R_66_4_A_WINDOW_MANAGER] :
      ( he(R_66_2_HE)
      & a_Window_Manager(R_66_4_A_WINDOW_MANAGER)
      & and_wrote(R_66_1_AND_WROTE,R_66_2_HE,R_66_4_A_WINDOW_MANAGER) ) ).


n66_a_paulfellows n66_a_paulfellows_3 And n66_a_paulfellows_6 he n66_a_paulfellows_8 wrote n66_a_paulfellows_11 a n66_a_paulfellows_13 Window n66_a_paulfellows_15 Manager n66_a_paulfellows_17 , n66_a_paulfellows_22 I n66_a_paulfellows_24 think n66_a_paulfellows_29 he n66_a_paulfellows_32 just n66_a_paulfellows_34 wrote n66_a_paulfellows_37 that n66_a_paulfellows_40 because n66_a_paulfellows_44 he n66_a_paulfellows_46 wanted n66_a_paulfellows_49 to n66_a_paulfellows_51 , n66_a_paulfellows_56 the n66_a_paulfellows_58 addition n66_a_paulfellows_61 of n66_a_paulfellows_64 these n66_a_paulfellows_66 two n66_a_paulfellows_68 modules n66_a_paulfellows_70 transformed n66_a_paulfellows_73 Arthur n66_a_paulfellows_76 from n66_a_paulfellows_79 that n66_a_paulfellows_82 command-line n66_a_paulfellows_84 world n66_a_paulfellows_87 to n66_a_paulfellows_90 a n66_a_paulfellows_94 desktop n66_a_paulfellows_96 based n66_a_paulfellows_98 system n66_a_paulfellows_100 . n66_a_paulfellows_1 IP-MAT n66_a_paulfellows_2 CONJ;_cl_ n66_a_paulfellows_1->n66_a_paulfellows_2 n66_a_paulfellows_4 NP-SBJ n66_a_paulfellows_1->n66_a_paulfellows_4 n66_a_paulfellows_7 VBD;__ n66_a_paulfellows_1->n66_a_paulfellows_7 n66_a_paulfellows_9 NP-OB1 n66_a_paulfellows_1->n66_a_paulfellows_9 n66_a_paulfellows_16 PUNC n66_a_paulfellows_1->n66_a_paulfellows_16 n66_a_paulfellows_18 PRN n66_a_paulfellows_1->n66_a_paulfellows_18 n66_a_paulfellows_99 PUNC n66_a_paulfellows_1->n66_a_paulfellows_99 n66_a_paulfellows_2->n66_a_paulfellows_3 n66_a_paulfellows_5 PRO n66_a_paulfellows_4->n66_a_paulfellows_5 n66_a_paulfellows_5->n66_a_paulfellows_6 n66_a_paulfellows_7->n66_a_paulfellows_8 n66_a_paulfellows_10 D n66_a_paulfellows_9->n66_a_paulfellows_10 n66_a_paulfellows_12 N n66_a_paulfellows_9->n66_a_paulfellows_12 n66_a_paulfellows_14 N n66_a_paulfellows_9->n66_a_paulfellows_14 n66_a_paulfellows_10->n66_a_paulfellows_11 n66_a_paulfellows_12->n66_a_paulfellows_13 n66_a_paulfellows_14->n66_a_paulfellows_15 n66_a_paulfellows_16->n66_a_paulfellows_17 n66_a_paulfellows_19 IP-MAT n66_a_paulfellows_18->n66_a_paulfellows_19 n66_a_paulfellows_20 NP-SBJ n66_a_paulfellows_19->n66_a_paulfellows_20 n66_a_paulfellows_23 VBP;__ n66_a_paulfellows_19->n66_a_paulfellows_23 n66_a_paulfellows_25 CP-THT-OB1 n66_a_paulfellows_19->n66_a_paulfellows_25 n66_a_paulfellows_50 PUNC n66_a_paulfellows_19->n66_a_paulfellows_50 n66_a_paulfellows_52 PRN n66_a_paulfellows_19->n66_a_paulfellows_52 n66_a_paulfellows_21 PRO n66_a_paulfellows_20->n66_a_paulfellows_21 n66_a_paulfellows_21->n66_a_paulfellows_22 n66_a_paulfellows_23->n66_a_paulfellows_24 n66_a_paulfellows_26 IP-SUB n66_a_paulfellows_25->n66_a_paulfellows_26 n66_a_paulfellows_27 NP-SBJ n66_a_paulfellows_26->n66_a_paulfellows_27 n66_a_paulfellows_30 ADVP-NIM n66_a_paulfellows_26->n66_a_paulfellows_30 n66_a_paulfellows_33 VBD;__ n66_a_paulfellows_26->n66_a_paulfellows_33 n66_a_paulfellows_35 NP-OB1 n66_a_paulfellows_26->n66_a_paulfellows_35 n66_a_paulfellows_38 PP-SCON n66_a_paulfellows_26->n66_a_paulfellows_38 n66_a_paulfellows_28 PRO n66_a_paulfellows_27->n66_a_paulfellows_28 n66_a_paulfellows_28->n66_a_paulfellows_29 n66_a_paulfellows_31 ADV n66_a_paulfellows_30->n66_a_paulfellows_31 n66_a_paulfellows_31->n66_a_paulfellows_32 n66_a_paulfellows_33->n66_a_paulfellows_34 n66_a_paulfellows_36 D;_nphd_ n66_a_paulfellows_35->n66_a_paulfellows_36 n66_a_paulfellows_36->n66_a_paulfellows_37 n66_a_paulfellows_39 P-CONN n66_a_paulfellows_38->n66_a_paulfellows_39 n66_a_paulfellows_41 IP-ADV n66_a_paulfellows_38->n66_a_paulfellows_41 n66_a_paulfellows_39->n66_a_paulfellows_40 n66_a_paulfellows_42 NP-SBJ n66_a_paulfellows_41->n66_a_paulfellows_42 n66_a_paulfellows_45 VBD;__ n66_a_paulfellows_41->n66_a_paulfellows_45 n66_a_paulfellows_47 IP-INF-OB1 n66_a_paulfellows_41->n66_a_paulfellows_47 n66_a_paulfellows_43 PRO n66_a_paulfellows_42->n66_a_paulfellows_43 n66_a_paulfellows_43->n66_a_paulfellows_44 n66_a_paulfellows_45->n66_a_paulfellows_46 n66_a_paulfellows_48 TO n66_a_paulfellows_47->n66_a_paulfellows_48 n66_a_paulfellows_48->n66_a_paulfellows_49 n66_a_paulfellows_50->n66_a_paulfellows_51 n66_a_paulfellows_53 IP-MAT n66_a_paulfellows_52->n66_a_paulfellows_53 n66_a_paulfellows_54 NP-SBJ n66_a_paulfellows_53->n66_a_paulfellows_54 n66_a_paulfellows_69 VBD;__ n66_a_paulfellows_53->n66_a_paulfellows_69 n66_a_paulfellows_71 NP-OB1 n66_a_paulfellows_53->n66_a_paulfellows_71 n66_a_paulfellows_74 PP-NIM n66_a_paulfellows_53->n66_a_paulfellows_74 n66_a_paulfellows_85 PP-NIM n66_a_paulfellows_53->n66_a_paulfellows_85 n66_a_paulfellows_55 D n66_a_paulfellows_54->n66_a_paulfellows_55 n66_a_paulfellows_57 N n66_a_paulfellows_54->n66_a_paulfellows_57 n66_a_paulfellows_59 PP n66_a_paulfellows_54->n66_a_paulfellows_59 n66_a_paulfellows_55->n66_a_paulfellows_56 n66_a_paulfellows_57->n66_a_paulfellows_58 n66_a_paulfellows_60 P-ROLE n66_a_paulfellows_59->n66_a_paulfellows_60 n66_a_paulfellows_62 NP n66_a_paulfellows_59->n66_a_paulfellows_62 n66_a_paulfellows_60->n66_a_paulfellows_61 n66_a_paulfellows_63 D n66_a_paulfellows_62->n66_a_paulfellows_63 n66_a_paulfellows_65 NUM n66_a_paulfellows_62->n66_a_paulfellows_65 n66_a_paulfellows_67 NS n66_a_paulfellows_62->n66_a_paulfellows_67 n66_a_paulfellows_63->n66_a_paulfellows_64 n66_a_paulfellows_65->n66_a_paulfellows_66 n66_a_paulfellows_67->n66_a_paulfellows_68 n66_a_paulfellows_69->n66_a_paulfellows_70 n66_a_paulfellows_72 NPR n66_a_paulfellows_71->n66_a_paulfellows_72 n66_a_paulfellows_72->n66_a_paulfellows_73 n66_a_paulfellows_75 P-ROLE n66_a_paulfellows_74->n66_a_paulfellows_75 n66_a_paulfellows_77 NP n66_a_paulfellows_74->n66_a_paulfellows_77 n66_a_paulfellows_75->n66_a_paulfellows_76 n66_a_paulfellows_78 D n66_a_paulfellows_77->n66_a_paulfellows_78 n66_a_paulfellows_80 ADJP n66_a_paulfellows_77->n66_a_paulfellows_80 n66_a_paulfellows_83 N n66_a_paulfellows_77->n66_a_paulfellows_83 n66_a_paulfellows_78->n66_a_paulfellows_79 n66_a_paulfellows_81 ADJ n66_a_paulfellows_80->n66_a_paulfellows_81 n66_a_paulfellows_81->n66_a_paulfellows_82 n66_a_paulfellows_83->n66_a_paulfellows_84 n66_a_paulfellows_86 P-ROLE n66_a_paulfellows_85->n66_a_paulfellows_86 n66_a_paulfellows_88 NP n66_a_paulfellows_85->n66_a_paulfellows_88 n66_a_paulfellows_86->n66_a_paulfellows_87 n66_a_paulfellows_89 D n66_a_paulfellows_88->n66_a_paulfellows_89 n66_a_paulfellows_91 ADJP n66_a_paulfellows_88->n66_a_paulfellows_91 n66_a_paulfellows_97 N n66_a_paulfellows_88->n66_a_paulfellows_97 n66_a_paulfellows_89->n66_a_paulfellows_90 n66_a_paulfellows_92 NP n66_a_paulfellows_91->n66_a_paulfellows_92 n66_a_paulfellows_95 ADJ n66_a_paulfellows_91->n66_a_paulfellows_95 n66_a_paulfellows_93 N n66_a_paulfellows_92->n66_a_paulfellows_93 n66_a_paulfellows_93->n66_a_paulfellows_94 n66_a_paulfellows_95->n66_a_paulfellows_96 n66_a_paulfellows_97->n66_a_paulfellows_98 n66_a_paulfellows_99->n66_a_paulfellows_100 
( (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))