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_0005__that_r_0022_0007__started that started r_0022_0012__1997 1997 r_0022_0005__that_r_0022_0007__started->r_0022_0012__1997 in [nim] 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_0006__I I r_0022_0005__that_r_0022_0007__started->r_0022_0006__I [arg0] r_0022_0003__a_r_0022_0004__company a company r_0022_0005__that_r_0022_0007__started->r_0022_0003__a_r_0022_0004__company [arg1] r_0022_0002__is is r_0022_0002__is->r_0022_0003__a_r_0022_0004__company [prd] r_0022_0001__Amino Amino r_0022_0002__is->r_0022_0001__Amino [arg0] 
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__1_1_1_1 Amino n22_a_paulfellows__1_2_1 is n22_a_paulfellows__1_3_1_1 a n22_a_paulfellows__1_3_2_1 company n22_a_paulfellows__1_3_3_1_1 that n22_a_paulfellows__1_3_3_2_1 *T* n22_a_paulfellows__1_3_3_3_1_1 I n22_a_paulfellows__1_3_3_4_1 started n22_a_paulfellows__1_3_3_5_1_1 with n22_a_paulfellows__1_3_3_5_2_1_1 Martin n22_a_paulfellows__1_3_3_5_2_2_1 Gilbert n22_a_paulfellows__1_3_3_6_1_1 in n22_a_paulfellows__1_3_3_6_2_1_1 1997 n22_a_paulfellows__1_4_1 , n22_a_paulfellows__1_5_1_1_1_1 Martin n22_a_paulfellows__1_5_1_2_1 designed n22_a_paulfellows__1_5_1_3_1_1 the n22_a_paulfellows__1_5_1_3_2_1 Master n22_a_paulfellows__1_5_1_3_3_1 128 n22_a_paulfellows__1_6_1 . n22_a_paulfellows__1 IP-MAT n22_a_paulfellows__1_1 NP-SBJ n22_a_paulfellows__1->n22_a_paulfellows__1_1 n22_a_paulfellows__1_2 BEP;_Ln_ n22_a_paulfellows__1->n22_a_paulfellows__1_2 n22_a_paulfellows__1_3 NP-PRD n22_a_paulfellows__1->n22_a_paulfellows__1_3 n22_a_paulfellows__1_4 PUNC n22_a_paulfellows__1->n22_a_paulfellows__1_4 n22_a_paulfellows__1_5 PRN n22_a_paulfellows__1->n22_a_paulfellows__1_5 n22_a_paulfellows__1_6 PUNC n22_a_paulfellows__1->n22_a_paulfellows__1_6 n22_a_paulfellows__1_1_1 NPR n22_a_paulfellows__1_1->n22_a_paulfellows__1_1_1 n22_a_paulfellows__1_1_1->n22_a_paulfellows__1_1_1_1 n22_a_paulfellows__1_2->n22_a_paulfellows__1_2_1 n22_a_paulfellows__1_3_1 D n22_a_paulfellows__1_3->n22_a_paulfellows__1_3_1 n22_a_paulfellows__1_3_2 N n22_a_paulfellows__1_3->n22_a_paulfellows__1_3_2 n22_a_paulfellows__1_3_3 IP-REL n22_a_paulfellows__1_3->n22_a_paulfellows__1_3_3 n22_a_paulfellows__1_3_1->n22_a_paulfellows__1_3_1_1 n22_a_paulfellows__1_3_2->n22_a_paulfellows__1_3_2_1 n22_a_paulfellows__1_3_3_1 C n22_a_paulfellows__1_3_3->n22_a_paulfellows__1_3_3_1 n22_a_paulfellows__1_3_3_2 NP-OB1 n22_a_paulfellows__1_3_3->n22_a_paulfellows__1_3_3_2 n22_a_paulfellows__1_3_3_3 NP-SBJ n22_a_paulfellows__1_3_3->n22_a_paulfellows__1_3_3_3 n22_a_paulfellows__1_3_3_4 VBD;_Tn_ n22_a_paulfellows__1_3_3->n22_a_paulfellows__1_3_3_4 n22_a_paulfellows__1_3_3_5 PP-NIM n22_a_paulfellows__1_3_3->n22_a_paulfellows__1_3_3_5 n22_a_paulfellows__1_3_3_6 PP-NIM n22_a_paulfellows__1_3_3->n22_a_paulfellows__1_3_3_6 n22_a_paulfellows__1_3_3_1->n22_a_paulfellows__1_3_3_1_1 n22_a_paulfellows__1_3_3_2->n22_a_paulfellows__1_3_3_2_1 n22_a_paulfellows__1_3_3_3_1 PRO n22_a_paulfellows__1_3_3_3->n22_a_paulfellows__1_3_3_3_1 n22_a_paulfellows__1_3_3_3_1->n22_a_paulfellows__1_3_3_3_1_1 n22_a_paulfellows__1_3_3_4->n22_a_paulfellows__1_3_3_4_1 n22_a_paulfellows__1_3_3_5_1 P-ROLE n22_a_paulfellows__1_3_3_5->n22_a_paulfellows__1_3_3_5_1 n22_a_paulfellows__1_3_3_5_2 NP n22_a_paulfellows__1_3_3_5->n22_a_paulfellows__1_3_3_5_2 n22_a_paulfellows__1_3_3_5_1->n22_a_paulfellows__1_3_3_5_1_1 n22_a_paulfellows__1_3_3_5_2_1 NPR n22_a_paulfellows__1_3_3_5_2->n22_a_paulfellows__1_3_3_5_2_1 n22_a_paulfellows__1_3_3_5_2_2 NPR n22_a_paulfellows__1_3_3_5_2->n22_a_paulfellows__1_3_3_5_2_2 n22_a_paulfellows__1_3_3_5_2_1->n22_a_paulfellows__1_3_3_5_2_1_1 n22_a_paulfellows__1_3_3_5_2_2->n22_a_paulfellows__1_3_3_5_2_2_1 n22_a_paulfellows__1_3_3_6_1 P-ROLE n22_a_paulfellows__1_3_3_6->n22_a_paulfellows__1_3_3_6_1 n22_a_paulfellows__1_3_3_6_2 NP n22_a_paulfellows__1_3_3_6->n22_a_paulfellows__1_3_3_6_2 n22_a_paulfellows__1_3_3_6_1->n22_a_paulfellows__1_3_3_6_1_1 n22_a_paulfellows__1_3_3_6_2_1 NPR n22_a_paulfellows__1_3_3_6_2->n22_a_paulfellows__1_3_3_6_2_1 n22_a_paulfellows__1_3_3_6_2_1->n22_a_paulfellows__1_3_3_6_2_1_1 n22_a_paulfellows__1_4->n22_a_paulfellows__1_4_1 n22_a_paulfellows__1_5_1 IP-MAT n22_a_paulfellows__1_5->n22_a_paulfellows__1_5_1 n22_a_paulfellows__1_5_1_1 NP-SBJ n22_a_paulfellows__1_5_1->n22_a_paulfellows__1_5_1_1 n22_a_paulfellows__1_5_1_2 VBD;_Tn_ n22_a_paulfellows__1_5_1->n22_a_paulfellows__1_5_1_2 n22_a_paulfellows__1_5_1_3 NP-OB1 n22_a_paulfellows__1_5_1->n22_a_paulfellows__1_5_1_3 n22_a_paulfellows__1_5_1_1_1 NPR n22_a_paulfellows__1_5_1_1->n22_a_paulfellows__1_5_1_1_1 n22_a_paulfellows__1_5_1_1_1->n22_a_paulfellows__1_5_1_1_1_1 n22_a_paulfellows__1_5_1_2->n22_a_paulfellows__1_5_1_2_1 n22_a_paulfellows__1_5_1_3_1 D n22_a_paulfellows__1_5_1_3->n22_a_paulfellows__1_5_1_3_1 n22_a_paulfellows__1_5_1_3_2 NPR n22_a_paulfellows__1_5_1_3->n22_a_paulfellows__1_5_1_3_2 n22_a_paulfellows__1_5_1_3_3 NUM n22_a_paulfellows__1_5_1_3->n22_a_paulfellows__1_5_1_3_3 n22_a_paulfellows__1_5_1_3_1->n22_a_paulfellows__1_5_1_3_1_1 n22_a_paulfellows__1_5_1_3_2->n22_a_paulfellows__1_5_1_3_2_1 n22_a_paulfellows__1_5_1_3_3->n22_a_paulfellows__1_5_1_3_3_1 n22_a_paulfellows__1_6->n22_a_paulfellows__1_6_1 
( (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))