Context                Previous, Next                Top


76_a_paulfellows
It (ARX) was hopeless, there was no way that we (Acorn) could afford to go to market with a machine that needed 4 MB of RAM and a hard drive, in those days, and even then was going to be that slow.

%3 r_0076_0005__was was r_0076_0001__It It r_0076_0005__was->r_0076_0001__It [arg0] r_0076_0006__hopeless hopeless r_0076_0005__was->r_0076_0006__hopeless [prd] 
arc(r_0076_0005__was, r_0076_0001__It, arg0).
arc(r_0076_0005__was, r_0076_0006__hopeless, prd).


%3 r_0076_0005__was was r_0076_0001__It It r_0076_0005__was->r_0076_0001__It [arg0] r_0076_0006__hopeless hopeless r_0076_0005__was->r_0076_0006__hopeless [prd] 
fof(formula,axiom,
    ? [R_76_5_WAS,R_76_1_IT,R_76_6_HOPELESS] :
      ( it(R_76_1_IT)
      & hopeless(R_76_6_HOPELESS)
      & was(R_76_5_WAS,R_76_1_IT,R_76_6_HOPELESS) ) ).


n76_a_paulfellows n76_a_paulfellows_4 It n76_a_paulfellows_6 -LRB- n76_a_paulfellows_10 ARX n76_a_paulfellows_12 -RRB- n76_a_paulfellows_14 was n76_a_paulfellows_17 hopeless n76_a_paulfellows_19 , n76_a_paulfellows_23 there n76_a_paulfellows_25 was n76_a_paulfellows_28 no n76_a_paulfellows_30 way n76_a_paulfellows_34 that n76_a_paulfellows_37 we n76_a_paulfellows_39 -LRB- n76_a_paulfellows_43 Acorn n76_a_paulfellows_45 -RRB- n76_a_paulfellows_47 could n76_a_paulfellows_50 afford n76_a_paulfellows_53 to n76_a_paulfellows_55 go n76_a_paulfellows_58 to n76_a_paulfellows_61 market n76_a_paulfellows_64 with n76_a_paulfellows_67 a n76_a_paulfellows_69 machine n76_a_paulfellows_72 that n76_a_paulfellows_74 *T* n76_a_paulfellows_78 needed n76_a_paulfellows_83 4 n76_a_paulfellows_85 MB n76_a_paulfellows_88 of n76_a_paulfellows_91 RAM n76_a_paulfellows_94 and n76_a_paulfellows_97 a n76_a_paulfellows_100 hard n76_a_paulfellows_102 drive n76_a_paulfellows_104 , n76_a_paulfellows_107 in n76_a_paulfellows_110 those n76_a_paulfellows_112 days n76_a_paulfellows_114 , n76_a_paulfellows_117 and n76_a_paulfellows_121 even_then n76_a_paulfellows_123 was n76_a_paulfellows_126 going n76_a_paulfellows_129 to n76_a_paulfellows_131 be n76_a_paulfellows_135 that n76_a_paulfellows_137 slow n76_a_paulfellows_139 . n76_a_paulfellows_1 IP-MAT n76_a_paulfellows_2 NP-SBJ n76_a_paulfellows_1->n76_a_paulfellows_2 n76_a_paulfellows_13 BED;_La_ n76_a_paulfellows_1->n76_a_paulfellows_13 n76_a_paulfellows_15 ADJP-PRD n76_a_paulfellows_1->n76_a_paulfellows_15 n76_a_paulfellows_18 PUNC n76_a_paulfellows_1->n76_a_paulfellows_18 n76_a_paulfellows_20 PRN n76_a_paulfellows_1->n76_a_paulfellows_20 n76_a_paulfellows_138 PUNC n76_a_paulfellows_1->n76_a_paulfellows_138 n76_a_paulfellows_3 PRO n76_a_paulfellows_2->n76_a_paulfellows_3 n76_a_paulfellows_5 PULB n76_a_paulfellows_2->n76_a_paulfellows_5 n76_a_paulfellows_7 IP-PPL n76_a_paulfellows_2->n76_a_paulfellows_7 n76_a_paulfellows_11 PURB n76_a_paulfellows_2->n76_a_paulfellows_11 n76_a_paulfellows_3->n76_a_paulfellows_4 n76_a_paulfellows_5->n76_a_paulfellows_6 n76_a_paulfellows_8 NP-PRD n76_a_paulfellows_7->n76_a_paulfellows_8 n76_a_paulfellows_9 NPR n76_a_paulfellows_8->n76_a_paulfellows_9 n76_a_paulfellows_9->n76_a_paulfellows_10 n76_a_paulfellows_11->n76_a_paulfellows_12 n76_a_paulfellows_13->n76_a_paulfellows_14 n76_a_paulfellows_16 ADJ n76_a_paulfellows_15->n76_a_paulfellows_16 n76_a_paulfellows_16->n76_a_paulfellows_17 n76_a_paulfellows_18->n76_a_paulfellows_19 n76_a_paulfellows_21 IP-MAT n76_a_paulfellows_20->n76_a_paulfellows_21 n76_a_paulfellows_22 EX n76_a_paulfellows_21->n76_a_paulfellows_22 n76_a_paulfellows_24 BED;_ex_V_ n76_a_paulfellows_21->n76_a_paulfellows_24 n76_a_paulfellows_26 NP-ESBJ n76_a_paulfellows_21->n76_a_paulfellows_26 n76_a_paulfellows_22->n76_a_paulfellows_23 n76_a_paulfellows_24->n76_a_paulfellows_25 n76_a_paulfellows_27 Q n76_a_paulfellows_26->n76_a_paulfellows_27 n76_a_paulfellows_29 N n76_a_paulfellows_26->n76_a_paulfellows_29 n76_a_paulfellows_31 CP-THT n76_a_paulfellows_26->n76_a_paulfellows_31 n76_a_paulfellows_27->n76_a_paulfellows_28 n76_a_paulfellows_29->n76_a_paulfellows_30 n76_a_paulfellows_32 IP-SUB n76_a_paulfellows_31->n76_a_paulfellows_32 n76_a_paulfellows_33 C n76_a_paulfellows_32->n76_a_paulfellows_33 n76_a_paulfellows_35 NP-SBJ n76_a_paulfellows_32->n76_a_paulfellows_35 n76_a_paulfellows_46 MD;_cat_Vi_ n76_a_paulfellows_32->n76_a_paulfellows_46 n76_a_paulfellows_48 IP-INF-CAT n76_a_paulfellows_32->n76_a_paulfellows_48 n76_a_paulfellows_33->n76_a_paulfellows_34 n76_a_paulfellows_36 PRO n76_a_paulfellows_35->n76_a_paulfellows_36 n76_a_paulfellows_38 PULB n76_a_paulfellows_35->n76_a_paulfellows_38 n76_a_paulfellows_40 IP-PPL n76_a_paulfellows_35->n76_a_paulfellows_40 n76_a_paulfellows_44 PURB n76_a_paulfellows_35->n76_a_paulfellows_44 n76_a_paulfellows_36->n76_a_paulfellows_37 n76_a_paulfellows_38->n76_a_paulfellows_39 n76_a_paulfellows_41 NP-PRD n76_a_paulfellows_40->n76_a_paulfellows_41 n76_a_paulfellows_42 NPR n76_a_paulfellows_41->n76_a_paulfellows_42 n76_a_paulfellows_42->n76_a_paulfellows_43 n76_a_paulfellows_44->n76_a_paulfellows_45 n76_a_paulfellows_46->n76_a_paulfellows_47 n76_a_paulfellows_49 VB;_Tt_ n76_a_paulfellows_48->n76_a_paulfellows_49 n76_a_paulfellows_51 IP-INF-OB1 n76_a_paulfellows_48->n76_a_paulfellows_51 n76_a_paulfellows_49->n76_a_paulfellows_50 n76_a_paulfellows_52 TO n76_a_paulfellows_51->n76_a_paulfellows_52 n76_a_paulfellows_54 VB;_Ipr_ n76_a_paulfellows_51->n76_a_paulfellows_54 n76_a_paulfellows_56 PP-CLR n76_a_paulfellows_51->n76_a_paulfellows_56 n76_a_paulfellows_62 PP-NIM n76_a_paulfellows_51->n76_a_paulfellows_62 n76_a_paulfellows_52->n76_a_paulfellows_53 n76_a_paulfellows_54->n76_a_paulfellows_55 n76_a_paulfellows_57 P-ROLE n76_a_paulfellows_56->n76_a_paulfellows_57 n76_a_paulfellows_59 NP n76_a_paulfellows_56->n76_a_paulfellows_59 n76_a_paulfellows_57->n76_a_paulfellows_58 n76_a_paulfellows_60 N n76_a_paulfellows_59->n76_a_paulfellows_60 n76_a_paulfellows_60->n76_a_paulfellows_61 n76_a_paulfellows_63 P-ROLE n76_a_paulfellows_62->n76_a_paulfellows_63 n76_a_paulfellows_65 NP n76_a_paulfellows_62->n76_a_paulfellows_65 n76_a_paulfellows_63->n76_a_paulfellows_64 n76_a_paulfellows_66 D n76_a_paulfellows_65->n76_a_paulfellows_66 n76_a_paulfellows_68 N n76_a_paulfellows_65->n76_a_paulfellows_68 n76_a_paulfellows_70 IP-REL n76_a_paulfellows_65->n76_a_paulfellows_70 n76_a_paulfellows_66->n76_a_paulfellows_67 n76_a_paulfellows_68->n76_a_paulfellows_69 n76_a_paulfellows_71 C n76_a_paulfellows_70->n76_a_paulfellows_71 n76_a_paulfellows_73 NP-SBJ n76_a_paulfellows_70->n76_a_paulfellows_73 n76_a_paulfellows_75 ILYR n76_a_paulfellows_70->n76_a_paulfellows_75 n76_a_paulfellows_71->n76_a_paulfellows_72 n76_a_paulfellows_73->n76_a_paulfellows_74 n76_a_paulfellows_76 ILYR n76_a_paulfellows_75->n76_a_paulfellows_76 n76_a_paulfellows_113 PUNC n76_a_paulfellows_75->n76_a_paulfellows_113 n76_a_paulfellows_115 CONJP n76_a_paulfellows_75->n76_a_paulfellows_115 n76_a_paulfellows_77 VBD;_Tn_ n76_a_paulfellows_76->n76_a_paulfellows_77 n76_a_paulfellows_79 NP-OB1 n76_a_paulfellows_76->n76_a_paulfellows_79 n76_a_paulfellows_103 PUNC n76_a_paulfellows_76->n76_a_paulfellows_103 n76_a_paulfellows_105 PP-NIM n76_a_paulfellows_76->n76_a_paulfellows_105 n76_a_paulfellows_77->n76_a_paulfellows_78 n76_a_paulfellows_80 NLYR n76_a_paulfellows_79->n76_a_paulfellows_80 n76_a_paulfellows_81 NLYR n76_a_paulfellows_80->n76_a_paulfellows_81 n76_a_paulfellows_92 CONJP n76_a_paulfellows_80->n76_a_paulfellows_92 n76_a_paulfellows_82 NUM n76_a_paulfellows_81->n76_a_paulfellows_82 n76_a_paulfellows_84 N n76_a_paulfellows_81->n76_a_paulfellows_84 n76_a_paulfellows_86 PP n76_a_paulfellows_81->n76_a_paulfellows_86 n76_a_paulfellows_82->n76_a_paulfellows_83 n76_a_paulfellows_84->n76_a_paulfellows_85 n76_a_paulfellows_87 P-ROLE n76_a_paulfellows_86->n76_a_paulfellows_87 n76_a_paulfellows_89 NP n76_a_paulfellows_86->n76_a_paulfellows_89 n76_a_paulfellows_87->n76_a_paulfellows_88 n76_a_paulfellows_90 N n76_a_paulfellows_89->n76_a_paulfellows_90 n76_a_paulfellows_90->n76_a_paulfellows_91 n76_a_paulfellows_93 CONJ n76_a_paulfellows_92->n76_a_paulfellows_93 n76_a_paulfellows_95 NLYR n76_a_paulfellows_92->n76_a_paulfellows_95 n76_a_paulfellows_93->n76_a_paulfellows_94 n76_a_paulfellows_96 D n76_a_paulfellows_95->n76_a_paulfellows_96 n76_a_paulfellows_98 ADJP n76_a_paulfellows_95->n76_a_paulfellows_98 n76_a_paulfellows_101 N n76_a_paulfellows_95->n76_a_paulfellows_101 n76_a_paulfellows_96->n76_a_paulfellows_97 n76_a_paulfellows_99 ADJ n76_a_paulfellows_98->n76_a_paulfellows_99 n76_a_paulfellows_99->n76_a_paulfellows_100 n76_a_paulfellows_101->n76_a_paulfellows_102 n76_a_paulfellows_103->n76_a_paulfellows_104 n76_a_paulfellows_106 P-ROLE n76_a_paulfellows_105->n76_a_paulfellows_106 n76_a_paulfellows_108 NP n76_a_paulfellows_105->n76_a_paulfellows_108 n76_a_paulfellows_106->n76_a_paulfellows_107 n76_a_paulfellows_109 D n76_a_paulfellows_108->n76_a_paulfellows_109 n76_a_paulfellows_111 NS n76_a_paulfellows_108->n76_a_paulfellows_111 n76_a_paulfellows_109->n76_a_paulfellows_110 n76_a_paulfellows_111->n76_a_paulfellows_112 n76_a_paulfellows_113->n76_a_paulfellows_114 n76_a_paulfellows_116 CONJ n76_a_paulfellows_115->n76_a_paulfellows_116 n76_a_paulfellows_118 ILYR n76_a_paulfellows_115->n76_a_paulfellows_118 n76_a_paulfellows_116->n76_a_paulfellows_117 n76_a_paulfellows_119 ADVP-NIM n76_a_paulfellows_118->n76_a_paulfellows_119 n76_a_paulfellows_122 BED;_cat_Vg_ n76_a_paulfellows_118->n76_a_paulfellows_122 n76_a_paulfellows_124 IP-PPL-CAT n76_a_paulfellows_118->n76_a_paulfellows_124 n76_a_paulfellows_120 ADV n76_a_paulfellows_119->n76_a_paulfellows_120 n76_a_paulfellows_120->n76_a_paulfellows_121 n76_a_paulfellows_122->n76_a_paulfellows_123 n76_a_paulfellows_125 VAG;_cat_Vt_ n76_a_paulfellows_124->n76_a_paulfellows_125 n76_a_paulfellows_127 IP-INF-CAT n76_a_paulfellows_124->n76_a_paulfellows_127 n76_a_paulfellows_125->n76_a_paulfellows_126 n76_a_paulfellows_128 TO n76_a_paulfellows_127->n76_a_paulfellows_128 n76_a_paulfellows_130 BE;_La_ n76_a_paulfellows_127->n76_a_paulfellows_130 n76_a_paulfellows_132 ADJP-PRD n76_a_paulfellows_127->n76_a_paulfellows_132 n76_a_paulfellows_128->n76_a_paulfellows_129 n76_a_paulfellows_130->n76_a_paulfellows_131 n76_a_paulfellows_133 NP n76_a_paulfellows_132->n76_a_paulfellows_133 n76_a_paulfellows_136 ADJ n76_a_paulfellows_132->n76_a_paulfellows_136 n76_a_paulfellows_134 D;_nphd_ n76_a_paulfellows_133->n76_a_paulfellows_134 n76_a_paulfellows_134->n76_a_paulfellows_135 n76_a_paulfellows_136->n76_a_paulfellows_137 n76_a_paulfellows_138->n76_a_paulfellows_139 
( (IP-MAT (NP-SBJ (PRO It;{it})
                  (PULB -LRB-)
                  (IP-PPL (NP-PRD (NPR ARX;{ARX})))
                  (PURB -RRB-))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ hopeless;{hopeless}))
          (PUNC ,)
          (PRN (IP-MAT (EX there;{there})
                       (BED;_ex_V_ was;{be})
                       (NP-ESBJ (Q no;{no})
                                (N way;{way})
                                (CP-THT (IP-SUB (C that;{that})
                                                (NP-SBJ (PRO we;{we})
                                                        (PULB -LRB-)
                                                        (IP-PPL (NP-PRD (NPR Acorn;{Acorn})))
                                                        (PURB -RRB-))
                                                (MD;_cat_Vi_ could;{can})
                                                (IP-INF-CAT (VB;_Tt_ afford;{afford})
                                                            (IP-INF-OB1 (TO to;{to})
                                                                        (VB;_Ipr_ go;{go[to]})
                                                                        (PP-CLR (P-ROLE to;{to})
                                                                                (NP (N market;{market})))
                                                                        (PP-NIM (P-ROLE with;{with})
                                                                                (NP (D a;{a})
                                                                                    (N machine;{machine})
                                                                                    (IP-REL (C that;{that})
                                                                                            (NP-SBJ *T*)
                                                                                            (ILYR (ILYR (VBD;_Tn_ needed;{need})
                                                                                                        (NP-OB1 (NLYR (NLYR (NUM 4)
                                                                                                                            (N MB)
                                                                                                                            (PP (P-ROLE of;{of})
                                                                                                                                (NP (N RAM;{ram}))))
                                                                                                                      (CONJP (CONJ and;{and})
                                                                                                                             (NLYR (D a;{a})
                                                                                                                                   (ADJP (ADJ hard;{hard}))
                                                                                                                                   (N drive;{drive})))))
                                                                                                        (PUNC ,)
                                                                                                        (PP-NIM (P-ROLE in;{in})
                                                                                                                (NP (D those;{those})
                                                                                                                    (NS days;{day}))))
                                                                                                  (PUNC ,)
                                                                                                  (CONJP (CONJ and;{and})
                                                                                                         (ILYR (ADVP-NIM (ADV even_then;{even_then}))
                                                                                                               (BED;_cat_Vg_ was;{be})
                                                                                                               (IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
                                                                                                                           (IP-INF-CAT (TO to;{to})
                                                                                                                                       (BE;_La_ be;{be})
                                                                                                                                       (ADJP-PRD (NP (D;_nphd_ that;{that}))
                                                                                                                                                 (ADJ slow;{slow})))))))))))))))))
          (PUNC .))
  (ID 76_a_paulfellows))