Context                Previous, Next                Top


22_a_paulfellows
Amino is a company that I started with Martin Gilbert in 1997, Martin designed the Master 128.

%3 r_0022_0002__is is r_0022_0001__Amino Amino r_0022_0002__is->r_0022_0001__Amino [arg0] r_0022_0003__a_r_0022_0004__company a company r_0022_0002__is->r_0022_0003__a_r_0022_0004__company [prd] r_0022_0005__that_r_0022_0007__started that started r_0022_0005__that_r_0022_0007__started->r_0022_0003__a_r_0022_0004__company [arg1] r_0022_0006__I I r_0022_0005__that_r_0022_0007__started->r_0022_0006__I [arg0] r_0022_0009__Martin_r_0022_0010__Gilbert Martin Gilbert r_0022_0005__that_r_0022_0007__started->r_0022_0009__Martin_r_0022_0010__Gilbert with [nim] r_0022_0012__1997 1997 r_0022_0005__that_r_0022_0007__started->r_0022_0012__1997 in [nim] 
arc(r_0022_0002__is, r_0022_0001__Amino, arg0).
arc(r_0022_0002__is, r_0022_0003__a_r_0022_0004__company, prd).
arc(r_0022_0005__that_r_0022_0007__started, r_0022_0003__a_r_0022_0004__company, arg1).
arc(r_0022_0005__that_r_0022_0007__started, r_0022_0006__I, arg0).
arc(r_0022_0005__that_r_0022_0007__started, r_0022_0009__Martin_r_0022_0010__Gilbert, r_0022_0008__with_nim25).
arc(r_0022_0005__that_r_0022_0007__started, r_0022_0012__1997, r_0022_0011__in_nim33).


%3 r_0022_0002__is is r_0022_0001__Amino Amino r_0022_0002__is->r_0022_0001__Amino [arg0] r_0022_0003__a_r_0022_0004__company a company r_0022_0002__is->r_0022_0003__a_r_0022_0004__company [prd] r_0022_0005__that_r_0022_0007__started that started r_0022_0005__that_r_0022_0007__started->r_0022_0003__a_r_0022_0004__company [arg1] r_0022_0006__I I r_0022_0005__that_r_0022_0007__started->r_0022_0006__I [arg0] r_0022_0009__Martin_r_0022_0010__Gilbert Martin Gilbert r_0022_0005__that_r_0022_0007__started->r_0022_0009__Martin_r_0022_0010__Gilbert with [nim] r_0022_0012__1997 1997 r_0022_0005__that_r_0022_0007__started->r_0022_0012__1997 in [nim] 
fof(formula,axiom,
    ? [R_22_2_IS,R_22_1_AMINO,R_22_5_THAT_STARTED,R_22_6_I,R_22_3_A_COMPANY,R_22_9_MARTIN_GILBERT,R_22_12_1997] :
      ( amino(R_22_1_AMINO)
      & i(R_22_6_I)
      & a_company(R_22_3_A_COMPANY)
      & martin_Gilbert(R_22_9_MARTIN_GILBERT)
      & 1997(R_22_12_1997)
      & is(R_22_2_IS,R_22_1_AMINO,R_22_3_A_COMPANY)
      & that_started(R_22_5_THAT_STARTED,R_22_6_I,R_22_3_A_COMPANY)
      & with_nim25(R_22_5_THAT_STARTED,R_22_9_MARTIN_GILBERT)
      & in_nim33(R_22_5_THAT_STARTED,R_22_12_1997) ) ).


n22_a_paulfellows n22_a_paulfellows_4 Amino n22_a_paulfellows_6 is n22_a_paulfellows_9 a n22_a_paulfellows_11 company n22_a_paulfellows_14 that n22_a_paulfellows_16 *T* n22_a_paulfellows_19 I n22_a_paulfellows_21 started n22_a_paulfellows_24 with n22_a_paulfellows_27 Martin n22_a_paulfellows_29 Gilbert n22_a_paulfellows_32 in n22_a_paulfellows_35 1997 n22_a_paulfellows_37 , n22_a_paulfellows_42 Martin n22_a_paulfellows_44 designed n22_a_paulfellows_47 the n22_a_paulfellows_49 Master n22_a_paulfellows_51 128 n22_a_paulfellows_53 . n22_a_paulfellows_1 IP-MAT n22_a_paulfellows_2 NP-SBJ n22_a_paulfellows_1->n22_a_paulfellows_2 n22_a_paulfellows_5 BEP;_Ln_ n22_a_paulfellows_1->n22_a_paulfellows_5 n22_a_paulfellows_7 NP-PRD n22_a_paulfellows_1->n22_a_paulfellows_7 n22_a_paulfellows_36 PUNC n22_a_paulfellows_1->n22_a_paulfellows_36 n22_a_paulfellows_38 PRN n22_a_paulfellows_1->n22_a_paulfellows_38 n22_a_paulfellows_52 PUNC n22_a_paulfellows_1->n22_a_paulfellows_52 n22_a_paulfellows_3 NPR n22_a_paulfellows_2->n22_a_paulfellows_3 n22_a_paulfellows_3->n22_a_paulfellows_4 n22_a_paulfellows_5->n22_a_paulfellows_6 n22_a_paulfellows_8 D n22_a_paulfellows_7->n22_a_paulfellows_8 n22_a_paulfellows_10 N n22_a_paulfellows_7->n22_a_paulfellows_10 n22_a_paulfellows_12 IP-REL n22_a_paulfellows_7->n22_a_paulfellows_12 n22_a_paulfellows_8->n22_a_paulfellows_9 n22_a_paulfellows_10->n22_a_paulfellows_11 n22_a_paulfellows_13 C n22_a_paulfellows_12->n22_a_paulfellows_13 n22_a_paulfellows_15 NP-OB1 n22_a_paulfellows_12->n22_a_paulfellows_15 n22_a_paulfellows_17 NP-SBJ n22_a_paulfellows_12->n22_a_paulfellows_17 n22_a_paulfellows_20 VBD;_Tn_ n22_a_paulfellows_12->n22_a_paulfellows_20 n22_a_paulfellows_22 PP-NIM n22_a_paulfellows_12->n22_a_paulfellows_22 n22_a_paulfellows_30 PP-NIM n22_a_paulfellows_12->n22_a_paulfellows_30 n22_a_paulfellows_13->n22_a_paulfellows_14 n22_a_paulfellows_15->n22_a_paulfellows_16 n22_a_paulfellows_18 PRO n22_a_paulfellows_17->n22_a_paulfellows_18 n22_a_paulfellows_18->n22_a_paulfellows_19 n22_a_paulfellows_20->n22_a_paulfellows_21 n22_a_paulfellows_23 P-ROLE n22_a_paulfellows_22->n22_a_paulfellows_23 n22_a_paulfellows_25 NP n22_a_paulfellows_22->n22_a_paulfellows_25 n22_a_paulfellows_23->n22_a_paulfellows_24 n22_a_paulfellows_26 NPR n22_a_paulfellows_25->n22_a_paulfellows_26 n22_a_paulfellows_28 NPR n22_a_paulfellows_25->n22_a_paulfellows_28 n22_a_paulfellows_26->n22_a_paulfellows_27 n22_a_paulfellows_28->n22_a_paulfellows_29 n22_a_paulfellows_31 P-ROLE n22_a_paulfellows_30->n22_a_paulfellows_31 n22_a_paulfellows_33 NP n22_a_paulfellows_30->n22_a_paulfellows_33 n22_a_paulfellows_31->n22_a_paulfellows_32 n22_a_paulfellows_34 NPR n22_a_paulfellows_33->n22_a_paulfellows_34 n22_a_paulfellows_34->n22_a_paulfellows_35 n22_a_paulfellows_36->n22_a_paulfellows_37 n22_a_paulfellows_39 IP-MAT n22_a_paulfellows_38->n22_a_paulfellows_39 n22_a_paulfellows_40 NP-SBJ n22_a_paulfellows_39->n22_a_paulfellows_40 n22_a_paulfellows_43 VBD;_Tn_ n22_a_paulfellows_39->n22_a_paulfellows_43 n22_a_paulfellows_45 NP-OB1 n22_a_paulfellows_39->n22_a_paulfellows_45 n22_a_paulfellows_41 NPR n22_a_paulfellows_40->n22_a_paulfellows_41 n22_a_paulfellows_41->n22_a_paulfellows_42 n22_a_paulfellows_43->n22_a_paulfellows_44 n22_a_paulfellows_46 D n22_a_paulfellows_45->n22_a_paulfellows_46 n22_a_paulfellows_48 NPR n22_a_paulfellows_45->n22_a_paulfellows_48 n22_a_paulfellows_50 NUM n22_a_paulfellows_45->n22_a_paulfellows_50 n22_a_paulfellows_46->n22_a_paulfellows_47 n22_a_paulfellows_48->n22_a_paulfellows_49 n22_a_paulfellows_50->n22_a_paulfellows_51 n22_a_paulfellows_52->n22_a_paulfellows_53 
( (IP-MAT (NP-SBJ (NPR Amino;{Amino}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N company;{company})
                  (IP-REL (C that;{that})
                          (NP-OB1 *T*)
                          (NP-SBJ (PRO I;{I}))
                          (VBD;_Tn_ started;{start})
                          (PP-NIM (P-ROLE with;{with})
                                  (NP (NPR Martin;{Martin})
                                      (NPR Gilbert;{Gilbert})))
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (NPR 1997)))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (NPR Martin;{Martin}))
                       (VBD;_Tn_ designed;{design})
                       (NP-OB1 (D the;{the})
                               (NPR Master;{Master})
                               (NUM 128))))
          (PUNC .))
  (ID 22_a_paulfellows))