Context                Previous, Next                Top


33_a_paulfellows
The first stand alone machine, the A500, which is very confusing because they're both called A500, but the other one was the A500 second processor.

%3 r_0033_0001__The_r_0033_0004__machine The machine r_0033_0003__stand_alone stand alone r_0033_0001__The_r_0033_0004__machine->r_0033_0003__stand_alone [attrib] r_0033_0002__first first r_0033_0003__stand_alone->r_0033_0002__first [nim] r_0033_0010__is is r_0033_0012__confusing confusing r_0033_0010__is->r_0033_0012__confusing [prd] z_000_33_a_paulfellows_24 r_0033_0010__is->z_000_33_a_paulfellows_24 [arg0] r_0033_0011__very very r_0033_0012__confusing->r_0033_0011__very [qual] r_0033_0013__because because r_0033_0013__because->r_0033_0010__is [scope] r_0033_0015___apos_re 're r_0033_0013__because->r_0033_0015___apos_re [restriction] r_0033_0017__called called r_0033_0015___apos_re->r_0033_0017__called [scope] r_0033_0017__called->z_000_33_a_paulfellows_24 [arg1] r_0033_0016__both both r_0033_0017__called->r_0033_0016__both [nim] r_0033_0018__A500 A500 r_0033_0017__called->r_0033_0018__A500 [prd] z_000_33_a_paulfellows_47 r_0033_0017__called->z_000_33_a_paulfellows_47 [arg0] r_0033_0020__but but r_0033_0024__was was r_0033_0020__but->r_0033_0024__was [conj2] z_000_33_a_paulfellows_3 r_0033_0020__but->z_000_33_a_paulfellows_3 [conj1] r_0033_0021__the_r_0033_0023__one the one r_0033_0024__was->r_0033_0021__the_r_0033_0023__one [arg0] r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor the A500 processor r_0033_0024__was->r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor [prd] z_000_33_a_paulfellows_3->r_0033_0001__The_r_0033_0004__machine [arg0] z_000_33_a_paulfellows_3->z_000_33_a_paulfellows_24 [nim] r_0033_0006__the_r_0033_0007__A500 the A500 z_000_33_a_paulfellows_3->r_0033_0006__the_r_0033_0007__A500 [prd] r_0033_0022__other other r_0033_0021__the_r_0033_0023__one->r_0033_0022__other [attrib] r_0033_0027__second second r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor->r_0033_0027__second [attrib] 
arc(r_0033_0001__The_r_0033_0004__machine, r_0033_0003__stand_alone, attrib7).
arc(r_0033_0003__stand_alone, r_0033_0002__first, nim8).
arc(r_0033_0010__is, r_0033_0012__confusing, prd).
arc(r_0033_0010__is, z_000_33_a_paulfellows_24, arg0).
arc(r_0033_0012__confusing, r_0033_0011__very, qual32).
arc(r_0033_0013__because, r_0033_0010__is, scope).
arc(r_0033_0013__because, r_0033_0015___apos_re, restriction).
arc(r_0033_0015___apos_re, r_0033_0017__called, scope).
arc(r_0033_0017__called, r_0033_0016__both, nim49).
arc(r_0033_0017__called, r_0033_0018__A500, prd).
arc(r_0033_0017__called, z_000_33_a_paulfellows_24, arg1).
arc(r_0033_0017__called, z_000_33_a_paulfellows_47, arg0).
arc(r_0033_0020__but, r_0033_0024__was, conj2).
arc(r_0033_0020__but, z_000_33_a_paulfellows_3, conj1).
arc(r_0033_0021__the_r_0033_0023__one, r_0033_0022__other, attrib66).
arc(r_0033_0024__was, r_0033_0021__the_r_0033_0023__one, arg0).
arc(r_0033_0024__was, r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor, prd).
arc(r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor, r_0033_0027__second, attrib78).
arc(z_000_33_a_paulfellows_3, r_0033_0001__The_r_0033_0004__machine, arg0).
arc(z_000_33_a_paulfellows_3, r_0033_0006__the_r_0033_0007__A500, prd).
arc(z_000_33_a_paulfellows_3, z_000_33_a_paulfellows_24, nim24).


%3 r_0033_0001__The_r_0033_0004__machine The machine r_0033_0003__stand_alone stand alone r_0033_0001__The_r_0033_0004__machine->r_0033_0003__stand_alone [attrib] r_0033_0002__first first r_0033_0003__stand_alone->r_0033_0002__first [nim] r_0033_0010__is is r_0033_0012__confusing confusing r_0033_0010__is->r_0033_0012__confusing [prd] z_000_33_a_paulfellows_24 r_0033_0010__is->z_000_33_a_paulfellows_24 [arg0] r_0033_0011__very very r_0033_0012__confusing->r_0033_0011__very [qual] r_0033_0013__because because r_0033_0013__because->r_0033_0010__is [conj2] r_0033_0015___apos_re_r_0033_0017__called 're called r_0033_0013__because->r_0033_0015___apos_re_r_0033_0017__called [conj1] r_0033_0015___apos_re_r_0033_0017__called->z_000_33_a_paulfellows_24 [arg1] r_0033_0016__both both r_0033_0015___apos_re_r_0033_0017__called->r_0033_0016__both [nim] r_0033_0018__A500 A500 r_0033_0015___apos_re_r_0033_0017__called->r_0033_0018__A500 [prd] z_000_33_a_paulfellows_47 r_0033_0015___apos_re_r_0033_0017__called->z_000_33_a_paulfellows_47 [arg0] r_0033_0020__but but r_0033_0024__was was r_0033_0020__but->r_0033_0024__was [conj2] z_000_33_a_paulfellows_3 r_0033_0020__but->z_000_33_a_paulfellows_3 [conj1] r_0033_0021__the_r_0033_0023__one the one r_0033_0024__was->r_0033_0021__the_r_0033_0023__one [arg0] r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor the A500 processor r_0033_0024__was->r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor [prd] z_000_33_a_paulfellows_3->r_0033_0001__The_r_0033_0004__machine [arg0] z_000_33_a_paulfellows_3->z_000_33_a_paulfellows_24 [nim] r_0033_0006__the_r_0033_0007__A500 the A500 z_000_33_a_paulfellows_3->r_0033_0006__the_r_0033_0007__A500 [prd] r_0033_0022__other other r_0033_0021__the_r_0033_0023__one->r_0033_0022__other [attrib] r_0033_0027__second second r_0033_0025__the_r_0033_0026__A500_r_0033_0028__processor->r_0033_0027__second [attrib] 
fof(formula,axiom,
    ? [R_33_13_BECAUSE,R_33_15__APOS_RE_CALLED,Z_33_A_PAULFELLOWS_47,R_33_16_BOTH,R_33_18_A500,R_33_10_IS,R_33_12_CONFUSING,R_33_11_VERY,R_33_20_BUT,Z_33_A_PAULFELLOWS_3,R_33_1_THE_MACHINE,R_33_3_STAND_ALONE,R_33_2_FIRST,Z_33_A_PAULFELLOWS_24,R_33_6_THE_A500,R_33_24_WAS,R_33_21_THE_ONE,R_33_22_OTHER,R_33_25_THE_A500_PROCESSOR,R_33_27_SECOND] :
      ( both(R_33_16_BOTH)
      & a500(R_33_18_A500)
      & very(R_33_11_VERY)
      & first(R_33_2_FIRST)
      & the_A500(R_33_6_THE_A500)
      & other(R_33_22_OTHER)
      & second(R_33_27_SECOND)
      & because(R_33_13_BECAUSE)
      & conj1(R_33_13_BECAUSE,R_33_15__APOS_RE_CALLED)
      & _apos_re_called(R_33_15__APOS_RE_CALLED,Z_33_A_PAULFELLOWS_47,Z_33_A_PAULFELLOWS_24,R_33_18_A500)
      & nim49(R_33_15__APOS_RE_CALLED,R_33_16_BOTH)
      & conj2(R_33_13_BECAUSE,R_33_10_IS)
      & is(R_33_10_IS,Z_33_A_PAULFELLOWS_24,R_33_12_CONFUSING)
      & confusing(R_33_12_CONFUSING)
      & qual32(R_33_12_CONFUSING,R_33_11_VERY)
      & but(R_33_20_BUT)
      & conj1(R_33_20_BUT,Z_33_A_PAULFELLOWS_3)
      & z_33_a_paulfellows_3(Z_33_A_PAULFELLOWS_3,R_33_1_THE_MACHINE,R_33_6_THE_A500)
      & the_machine(R_33_1_THE_MACHINE)
      & attrib7(R_33_1_THE_MACHINE,R_33_3_STAND_ALONE)
      & stand_alone(R_33_3_STAND_ALONE)
      & nim8(R_33_3_STAND_ALONE,R_33_2_FIRST)
      & nim24(Z_33_A_PAULFELLOWS_3,Z_33_A_PAULFELLOWS_24)
      & conj2(R_33_20_BUT,R_33_24_WAS)
      & was(R_33_24_WAS,R_33_21_THE_ONE,R_33_25_THE_A500_PROCESSOR)
      & the_one(R_33_21_THE_ONE)
      & attrib66(R_33_21_THE_ONE,R_33_22_OTHER)
      & the_A500_processor(R_33_25_THE_A500_PROCESSOR)
      & attrib78(R_33_25_THE_A500_PROCESSOR,R_33_27_SECOND) ) ).


n33_a_paulfellows n33_a_paulfellows_6 The n33_a_paulfellows_10 first n33_a_paulfellows_12 stand_alone n33_a_paulfellows_14 machine n33_a_paulfellows_16 , n33_a_paulfellows_19 the n33_a_paulfellows_21 A500 n33_a_paulfellows_23 , n33_a_paulfellows_28 which n33_a_paulfellows_30 is n33_a_paulfellows_34 very n33_a_paulfellows_36 confusing n33_a_paulfellows_39 because n33_a_paulfellows_43 they n33_a_paulfellows_45 're n33_a_paulfellows_48 * n33_a_paulfellows_51 both n33_a_paulfellows_53 called n33_a_paulfellows_56 A500 n33_a_paulfellows_58 , n33_a_paulfellows_61 but n33_a_paulfellows_65 the n33_a_paulfellows_68 other n33_a_paulfellows_70 one n33_a_paulfellows_72 was n33_a_paulfellows_75 the n33_a_paulfellows_77 A500 n33_a_paulfellows_80 second n33_a_paulfellows_82 processor n33_a_paulfellows_84 . n33_a_paulfellows_1 FRAG n33_a_paulfellows_2 ILYR n33_a_paulfellows_1->n33_a_paulfellows_2 n33_a_paulfellows_83 PUNC n33_a_paulfellows_1->n33_a_paulfellows_83 n33_a_paulfellows_3 ILYR n33_a_paulfellows_2->n33_a_paulfellows_3 n33_a_paulfellows_57 PUNC n33_a_paulfellows_2->n33_a_paulfellows_57 n33_a_paulfellows_59 CONJP n33_a_paulfellows_2->n33_a_paulfellows_59 n33_a_paulfellows_4 NP-SBJ n33_a_paulfellows_3->n33_a_paulfellows_4 n33_a_paulfellows_15 PUNC n33_a_paulfellows_3->n33_a_paulfellows_15 n33_a_paulfellows_17 NP-PRD n33_a_paulfellows_3->n33_a_paulfellows_17 n33_a_paulfellows_22 PUNC n33_a_paulfellows_3->n33_a_paulfellows_22 n33_a_paulfellows_24 NP-NIM n33_a_paulfellows_3->n33_a_paulfellows_24 n33_a_paulfellows_5 D n33_a_paulfellows_4->n33_a_paulfellows_5 n33_a_paulfellows_7 ADJP n33_a_paulfellows_4->n33_a_paulfellows_7 n33_a_paulfellows_13 N n33_a_paulfellows_4->n33_a_paulfellows_13 n33_a_paulfellows_5->n33_a_paulfellows_6 n33_a_paulfellows_8 NP n33_a_paulfellows_7->n33_a_paulfellows_8 n33_a_paulfellows_11 ADJ n33_a_paulfellows_7->n33_a_paulfellows_11 n33_a_paulfellows_9 NUM n33_a_paulfellows_8->n33_a_paulfellows_9 n33_a_paulfellows_9->n33_a_paulfellows_10 n33_a_paulfellows_11->n33_a_paulfellows_12 n33_a_paulfellows_13->n33_a_paulfellows_14 n33_a_paulfellows_15->n33_a_paulfellows_16 n33_a_paulfellows_18 D n33_a_paulfellows_17->n33_a_paulfellows_18 n33_a_paulfellows_20 NPR n33_a_paulfellows_17->n33_a_paulfellows_20 n33_a_paulfellows_18->n33_a_paulfellows_19 n33_a_paulfellows_20->n33_a_paulfellows_21 n33_a_paulfellows_22->n33_a_paulfellows_23 n33_a_paulfellows_25 IP-REL n33_a_paulfellows_24->n33_a_paulfellows_25 n33_a_paulfellows_26 NP-SBJ n33_a_paulfellows_25->n33_a_paulfellows_26 n33_a_paulfellows_29 BEP;_La_ n33_a_paulfellows_25->n33_a_paulfellows_29 n33_a_paulfellows_31 ADJP-PRD n33_a_paulfellows_25->n33_a_paulfellows_31 n33_a_paulfellows_37 PP-SCON n33_a_paulfellows_25->n33_a_paulfellows_37 n33_a_paulfellows_27 RPRO n33_a_paulfellows_26->n33_a_paulfellows_27 n33_a_paulfellows_27->n33_a_paulfellows_28 n33_a_paulfellows_29->n33_a_paulfellows_30 n33_a_paulfellows_32 ADVP n33_a_paulfellows_31->n33_a_paulfellows_32 n33_a_paulfellows_35 ADJ n33_a_paulfellows_31->n33_a_paulfellows_35 n33_a_paulfellows_33 ADV n33_a_paulfellows_32->n33_a_paulfellows_33 n33_a_paulfellows_33->n33_a_paulfellows_34 n33_a_paulfellows_35->n33_a_paulfellows_36 n33_a_paulfellows_38 P-CONN n33_a_paulfellows_37->n33_a_paulfellows_38 n33_a_paulfellows_40 IP-ADV n33_a_paulfellows_37->n33_a_paulfellows_40 n33_a_paulfellows_38->n33_a_paulfellows_39 n33_a_paulfellows_41 NP-SBJ n33_a_paulfellows_40->n33_a_paulfellows_41 n33_a_paulfellows_44 BEP;_cat_VePASS_ n33_a_paulfellows_40->n33_a_paulfellows_44 n33_a_paulfellows_46 IP-PPL-CAT n33_a_paulfellows_40->n33_a_paulfellows_46 n33_a_paulfellows_42 PRO n33_a_paulfellows_41->n33_a_paulfellows_42 n33_a_paulfellows_42->n33_a_paulfellows_43 n33_a_paulfellows_44->n33_a_paulfellows_45 n33_a_paulfellows_47 NP-LGS n33_a_paulfellows_46->n33_a_paulfellows_47 n33_a_paulfellows_49 ADVP-NIM n33_a_paulfellows_46->n33_a_paulfellows_49 n33_a_paulfellows_52 VVN;_Cn.n_ n33_a_paulfellows_46->n33_a_paulfellows_52 n33_a_paulfellows_54 NP-PRD n33_a_paulfellows_46->n33_a_paulfellows_54 n33_a_paulfellows_47->n33_a_paulfellows_48 n33_a_paulfellows_50 ADV n33_a_paulfellows_49->n33_a_paulfellows_50 n33_a_paulfellows_50->n33_a_paulfellows_51 n33_a_paulfellows_52->n33_a_paulfellows_53 n33_a_paulfellows_55 NPR n33_a_paulfellows_54->n33_a_paulfellows_55 n33_a_paulfellows_55->n33_a_paulfellows_56 n33_a_paulfellows_57->n33_a_paulfellows_58 n33_a_paulfellows_60 CONJ n33_a_paulfellows_59->n33_a_paulfellows_60 n33_a_paulfellows_62 ILYR n33_a_paulfellows_59->n33_a_paulfellows_62 n33_a_paulfellows_60->n33_a_paulfellows_61 n33_a_paulfellows_63 NP-SBJ n33_a_paulfellows_62->n33_a_paulfellows_63 n33_a_paulfellows_71 BED;_Ln_ n33_a_paulfellows_62->n33_a_paulfellows_71 n33_a_paulfellows_73 NP-PRD n33_a_paulfellows_62->n33_a_paulfellows_73 n33_a_paulfellows_64 D n33_a_paulfellows_63->n33_a_paulfellows_64 n33_a_paulfellows_66 ADJP n33_a_paulfellows_63->n33_a_paulfellows_66 n33_a_paulfellows_69 NUM n33_a_paulfellows_63->n33_a_paulfellows_69 n33_a_paulfellows_64->n33_a_paulfellows_65 n33_a_paulfellows_67 ADJ n33_a_paulfellows_66->n33_a_paulfellows_67 n33_a_paulfellows_67->n33_a_paulfellows_68 n33_a_paulfellows_69->n33_a_paulfellows_70 n33_a_paulfellows_71->n33_a_paulfellows_72 n33_a_paulfellows_74 D n33_a_paulfellows_73->n33_a_paulfellows_74 n33_a_paulfellows_76 NPR n33_a_paulfellows_73->n33_a_paulfellows_76 n33_a_paulfellows_78 ADJP n33_a_paulfellows_73->n33_a_paulfellows_78 n33_a_paulfellows_81 N n33_a_paulfellows_73->n33_a_paulfellows_81 n33_a_paulfellows_74->n33_a_paulfellows_75 n33_a_paulfellows_76->n33_a_paulfellows_77 n33_a_paulfellows_79 ADJ n33_a_paulfellows_78->n33_a_paulfellows_79 n33_a_paulfellows_79->n33_a_paulfellows_80 n33_a_paulfellows_81->n33_a_paulfellows_82 n33_a_paulfellows_83->n33_a_paulfellows_84 
( (FRAG (ILYR (ILYR (NP-SBJ (D The;{the})
                            (ADJP (NP (NUM first;{first}))
                                  (ADJ stand_alone;{standalone}))
                            (N machine;{machine}))
                    (PUNC ,)
                    (NP-PRD (D the;{the})
                            (NPR A500;{A500}))
                    (PUNC ,)
                    (NP-NIM (IP-REL (NP-SBJ (RPRO which;{which}))
                                    (BEP;_La_ is;{be})
                                    (ADJP-PRD (ADVP (ADV very;{very}))
                                              (ADJ confusing;{confusing}))
                                    (PP-SCON (P-CONN because;{because})
                                             (IP-ADV (NP-SBJ (PRO they;{they}))
                                                     (BEP;_cat_VePASS_ <apos>re;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (ADVP-NIM (ADV both;{both}))
                                                                 (VVN;_Cn.n_ called;{call})
                                                                 (NP-PRD (NPR A500))))))))
              (PUNC ,)
              (CONJP (CONJ but;{but})
                     (ILYR (NP-SBJ (D the;{the})
                                   (ADJP (ADJ other;{other}))
                                   (NUM one;{one}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (D the;{the})
                                   (NPR A500)
                                   (ADJP (ADJ second;{second}))
                                   (N processor;{processor})))))
        (PUNC .))
  (ID 33_a_paulfellows))