Context                Previous, Next                Top


58_a_paulfellows
I kept the faith, I've built another 5 million units that have got an operating system just like this one in them that probably no one has ever really heard of.

%3 r_0058_0002__kept kept r_0058_0001__I I r_0058_0002__kept->r_0058_0001__I [arg0] r_0058_0003__the_r_0058_0004__faith the faith r_0058_0002__kept->r_0058_0003__the_r_0058_0004__faith [arg1] 
arc(r_0058_0002__kept, r_0058_0001__I, arg0).
arc(r_0058_0002__kept, r_0058_0003__the_r_0058_0004__faith, arg1).


%3 r_0058_0002__kept kept r_0058_0003__the_r_0058_0004__faith the faith r_0058_0002__kept->r_0058_0003__the_r_0058_0004__faith [arg1] r_0058_0001__I I r_0058_0002__kept->r_0058_0001__I [arg0] 
fof(formula,axiom,
    ? [R_0058_0001__I,R_0058_0003__THE_R_0058_0004__FAITH,R_0058_0002__KEPT] :
      ( r_0058_0001__I(R_0058_0001__I)
      & r_0058_0003__the_r_0058_0004__faith(R_0058_0003__THE_R_0058_0004__FAITH)
      & r_0058_0002__kept(R_0058_0002__KEPT)
      & has_arg1(R_0058_0002__KEPT,R_0058_0003__THE_R_0058_0004__FAITH)
      & has_arg0(R_0058_0002__KEPT,R_0058_0001__I) ) ).


n58_a_paulfellows n58_a_paulfellows__1_1_1_1 I n58_a_paulfellows__1_2_1 kept n58_a_paulfellows__1_3_1_1 the n58_a_paulfellows__1_3_2_1 faith n58_a_paulfellows__1_4_1 , n58_a_paulfellows__1_5_1_1_1_1 I n58_a_paulfellows__1_5_1_2_1 've n58_a_paulfellows__1_5_1_3_1_1 built n58_a_paulfellows__1_5_1_3_2_1_1 another n58_a_paulfellows__1_5_1_3_2_2_1 5 n58_a_paulfellows__1_5_1_3_2_3_1 million n58_a_paulfellows__1_5_1_3_2_4_1 units n58_a_paulfellows__1_5_1_3_2_5_1_1 that n58_a_paulfellows__1_5_1_3_2_5_2_1 *T* n58_a_paulfellows__1_5_1_3_2_5_3_1 have n58_a_paulfellows__1_5_1_3_2_5_4_1_1 got n58_a_paulfellows__1_5_1_3_2_5_4_2_1_1 an n58_a_paulfellows__1_5_1_3_2_5_4_2_2_1_1 operating n58_a_paulfellows__1_5_1_3_2_5_4_2_3_1 system n58_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1 just n58_a_paulfellows__1_5_1_3_2_5_4_2_4_2_1 like n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1_1 this n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2_1 one n58_a_paulfellows__1_5_1_3_2_5_4_3_1_1 in n58_a_paulfellows__1_5_1_3_2_5_4_3_2_1_1 them n58_a_paulfellows__1_5_1_3_2_6_1_1 that n58_a_paulfellows__1_5_1_3_2_6_2_1_1 probably n58_a_paulfellows__1_5_1_3_2_6_3_1_1 no n58_a_paulfellows__1_5_1_3_2_6_3_2_1 one n58_a_paulfellows__1_5_1_3_2_6_4_1 has n58_a_paulfellows__1_5_1_3_2_6_5_1_1_1 ever n58_a_paulfellows__1_5_1_3_2_6_5_2_1_1 really n58_a_paulfellows__1_5_1_3_2_6_5_3_1 heard n58_a_paulfellows__1_5_1_3_2_6_5_4_1_1 of n58_a_paulfellows__1_5_1_3_2_6_5_4_2_1 *T* n58_a_paulfellows__1_6_1 . n58_a_paulfellows__1 IP-MAT n58_a_paulfellows__1_1 NP-SBJ n58_a_paulfellows__1->n58_a_paulfellows__1_1 n58_a_paulfellows__1_2 VBD;__ n58_a_paulfellows__1->n58_a_paulfellows__1_2 n58_a_paulfellows__1_3 NP-OB1 n58_a_paulfellows__1->n58_a_paulfellows__1_3 n58_a_paulfellows__1_4 PUNC n58_a_paulfellows__1->n58_a_paulfellows__1_4 n58_a_paulfellows__1_5 PRN n58_a_paulfellows__1->n58_a_paulfellows__1_5 n58_a_paulfellows__1_6 PUNC n58_a_paulfellows__1->n58_a_paulfellows__1_6 n58_a_paulfellows__1_1_1 PRO n58_a_paulfellows__1_1->n58_a_paulfellows__1_1_1 n58_a_paulfellows__1_1_1->n58_a_paulfellows__1_1_1_1 n58_a_paulfellows__1_2->n58_a_paulfellows__1_2_1 n58_a_paulfellows__1_3_1 D n58_a_paulfellows__1_3->n58_a_paulfellows__1_3_1 n58_a_paulfellows__1_3_2 N n58_a_paulfellows__1_3->n58_a_paulfellows__1_3_2 n58_a_paulfellows__1_3_1->n58_a_paulfellows__1_3_1_1 n58_a_paulfellows__1_3_2->n58_a_paulfellows__1_3_2_1 n58_a_paulfellows__1_4->n58_a_paulfellows__1_4_1 n58_a_paulfellows__1_5_1 IP-MAT n58_a_paulfellows__1_5->n58_a_paulfellows__1_5_1 n58_a_paulfellows__1_5_1_1 NP-SBJ n58_a_paulfellows__1_5_1->n58_a_paulfellows__1_5_1_1 n58_a_paulfellows__1_5_1_2 HVP;_cat_Ve_ n58_a_paulfellows__1_5_1->n58_a_paulfellows__1_5_1_2 n58_a_paulfellows__1_5_1_3 IP-PPL-CAT n58_a_paulfellows__1_5_1->n58_a_paulfellows__1_5_1_3 n58_a_paulfellows__1_5_1_1_1 PRO n58_a_paulfellows__1_5_1_1->n58_a_paulfellows__1_5_1_1_1 n58_a_paulfellows__1_5_1_1_1->n58_a_paulfellows__1_5_1_1_1_1 n58_a_paulfellows__1_5_1_2->n58_a_paulfellows__1_5_1_2_1 n58_a_paulfellows__1_5_1_3_1 VVN;__ n58_a_paulfellows__1_5_1_3->n58_a_paulfellows__1_5_1_3_1 n58_a_paulfellows__1_5_1_3_2 NP-OB1 n58_a_paulfellows__1_5_1_3->n58_a_paulfellows__1_5_1_3_2 n58_a_paulfellows__1_5_1_3_1->n58_a_paulfellows__1_5_1_3_1_1 n58_a_paulfellows__1_5_1_3_2_1 D n58_a_paulfellows__1_5_1_3_2->n58_a_paulfellows__1_5_1_3_2_1 n58_a_paulfellows__1_5_1_3_2_2 NUM n58_a_paulfellows__1_5_1_3_2->n58_a_paulfellows__1_5_1_3_2_2 n58_a_paulfellows__1_5_1_3_2_3 N n58_a_paulfellows__1_5_1_3_2->n58_a_paulfellows__1_5_1_3_2_3 n58_a_paulfellows__1_5_1_3_2_4 NS n58_a_paulfellows__1_5_1_3_2->n58_a_paulfellows__1_5_1_3_2_4 n58_a_paulfellows__1_5_1_3_2_5 IP-REL n58_a_paulfellows__1_5_1_3_2->n58_a_paulfellows__1_5_1_3_2_5 n58_a_paulfellows__1_5_1_3_2_6 IP-REL n58_a_paulfellows__1_5_1_3_2->n58_a_paulfellows__1_5_1_3_2_6 n58_a_paulfellows__1_5_1_3_2_1->n58_a_paulfellows__1_5_1_3_2_1_1 n58_a_paulfellows__1_5_1_3_2_2->n58_a_paulfellows__1_5_1_3_2_2_1 n58_a_paulfellows__1_5_1_3_2_3->n58_a_paulfellows__1_5_1_3_2_3_1 n58_a_paulfellows__1_5_1_3_2_4->n58_a_paulfellows__1_5_1_3_2_4_1 n58_a_paulfellows__1_5_1_3_2_5_1 C n58_a_paulfellows__1_5_1_3_2_5->n58_a_paulfellows__1_5_1_3_2_5_1 n58_a_paulfellows__1_5_1_3_2_5_2 NP-SBJ n58_a_paulfellows__1_5_1_3_2_5->n58_a_paulfellows__1_5_1_3_2_5_2 n58_a_paulfellows__1_5_1_3_2_5_3 HVP;_cat_Ve_ n58_a_paulfellows__1_5_1_3_2_5->n58_a_paulfellows__1_5_1_3_2_5_3 n58_a_paulfellows__1_5_1_3_2_5_4 IP-PPL-CAT n58_a_paulfellows__1_5_1_3_2_5->n58_a_paulfellows__1_5_1_3_2_5_4 n58_a_paulfellows__1_5_1_3_2_5_1->n58_a_paulfellows__1_5_1_3_2_5_1_1 n58_a_paulfellows__1_5_1_3_2_5_2->n58_a_paulfellows__1_5_1_3_2_5_2_1 n58_a_paulfellows__1_5_1_3_2_5_3->n58_a_paulfellows__1_5_1_3_2_5_3_1 n58_a_paulfellows__1_5_1_3_2_5_4_1 VVN;_Tn_ n58_a_paulfellows__1_5_1_3_2_5_4->n58_a_paulfellows__1_5_1_3_2_5_4_1 n58_a_paulfellows__1_5_1_3_2_5_4_2 NP-OB1 n58_a_paulfellows__1_5_1_3_2_5_4->n58_a_paulfellows__1_5_1_3_2_5_4_2 n58_a_paulfellows__1_5_1_3_2_5_4_3 PP-NIM n58_a_paulfellows__1_5_1_3_2_5_4->n58_a_paulfellows__1_5_1_3_2_5_4_3 n58_a_paulfellows__1_5_1_3_2_5_4_1->n58_a_paulfellows__1_5_1_3_2_5_4_1_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_1 D n58_a_paulfellows__1_5_1_3_2_5_4_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_2 IP-PPL n58_a_paulfellows__1_5_1_3_2_5_4_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_2 n58_a_paulfellows__1_5_1_3_2_5_4_2_3 N n58_a_paulfellows__1_5_1_3_2_5_4_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_3 n58_a_paulfellows__1_5_1_3_2_5_4_2_4 PP n58_a_paulfellows__1_5_1_3_2_5_4_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_4 n58_a_paulfellows__1_5_1_3_2_5_4_2_1->n58_a_paulfellows__1_5_1_3_2_5_4_2_1_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_2_1 VAG;_I_ n58_a_paulfellows__1_5_1_3_2_5_4_2_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_2_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_2_1->n58_a_paulfellows__1_5_1_3_2_5_4_2_2_1_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_3->n58_a_paulfellows__1_5_1_3_2_5_4_2_3_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_1 ADV n58_a_paulfellows__1_5_1_3_2_5_4_2_4->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_2 P-ROLE n58_a_paulfellows__1_5_1_3_2_5_4_2_4->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_2 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3 NP n58_a_paulfellows__1_5_1_3_2_5_4_2_4->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_1->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_2_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1 D n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2 NUM n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1_1 n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2->n58_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2_1 n58_a_paulfellows__1_5_1_3_2_5_4_3_1 P-ROLE n58_a_paulfellows__1_5_1_3_2_5_4_3->n58_a_paulfellows__1_5_1_3_2_5_4_3_1 n58_a_paulfellows__1_5_1_3_2_5_4_3_2 NP n58_a_paulfellows__1_5_1_3_2_5_4_3->n58_a_paulfellows__1_5_1_3_2_5_4_3_2 n58_a_paulfellows__1_5_1_3_2_5_4_3_1->n58_a_paulfellows__1_5_1_3_2_5_4_3_1_1 n58_a_paulfellows__1_5_1_3_2_5_4_3_2_1 PRO n58_a_paulfellows__1_5_1_3_2_5_4_3_2->n58_a_paulfellows__1_5_1_3_2_5_4_3_2_1 n58_a_paulfellows__1_5_1_3_2_5_4_3_2_1->n58_a_paulfellows__1_5_1_3_2_5_4_3_2_1_1 n58_a_paulfellows__1_5_1_3_2_6_1 C n58_a_paulfellows__1_5_1_3_2_6->n58_a_paulfellows__1_5_1_3_2_6_1 n58_a_paulfellows__1_5_1_3_2_6_2 ADVP-NIM n58_a_paulfellows__1_5_1_3_2_6->n58_a_paulfellows__1_5_1_3_2_6_2 n58_a_paulfellows__1_5_1_3_2_6_3 NP-SBJ n58_a_paulfellows__1_5_1_3_2_6->n58_a_paulfellows__1_5_1_3_2_6_3 n58_a_paulfellows__1_5_1_3_2_6_4 HVP;_cat_Ve_ n58_a_paulfellows__1_5_1_3_2_6->n58_a_paulfellows__1_5_1_3_2_6_4 n58_a_paulfellows__1_5_1_3_2_6_5 IP-PPL-CAT n58_a_paulfellows__1_5_1_3_2_6->n58_a_paulfellows__1_5_1_3_2_6_5 n58_a_paulfellows__1_5_1_3_2_6_1->n58_a_paulfellows__1_5_1_3_2_6_1_1 n58_a_paulfellows__1_5_1_3_2_6_2_1 ADV n58_a_paulfellows__1_5_1_3_2_6_2->n58_a_paulfellows__1_5_1_3_2_6_2_1 n58_a_paulfellows__1_5_1_3_2_6_2_1->n58_a_paulfellows__1_5_1_3_2_6_2_1_1 n58_a_paulfellows__1_5_1_3_2_6_3_1 Q n58_a_paulfellows__1_5_1_3_2_6_3->n58_a_paulfellows__1_5_1_3_2_6_3_1 n58_a_paulfellows__1_5_1_3_2_6_3_2 N n58_a_paulfellows__1_5_1_3_2_6_3->n58_a_paulfellows__1_5_1_3_2_6_3_2 n58_a_paulfellows__1_5_1_3_2_6_3_1->n58_a_paulfellows__1_5_1_3_2_6_3_1_1 n58_a_paulfellows__1_5_1_3_2_6_3_2->n58_a_paulfellows__1_5_1_3_2_6_3_2_1 n58_a_paulfellows__1_5_1_3_2_6_4->n58_a_paulfellows__1_5_1_3_2_6_4_1 n58_a_paulfellows__1_5_1_3_2_6_5_1 ADVP-NIM n58_a_paulfellows__1_5_1_3_2_6_5->n58_a_paulfellows__1_5_1_3_2_6_5_1 n58_a_paulfellows__1_5_1_3_2_6_5_2 ADVP-NIM n58_a_paulfellows__1_5_1_3_2_6_5->n58_a_paulfellows__1_5_1_3_2_6_5_2 n58_a_paulfellows__1_5_1_3_2_6_5_3 VVN;_Ipr_ n58_a_paulfellows__1_5_1_3_2_6_5->n58_a_paulfellows__1_5_1_3_2_6_5_3 n58_a_paulfellows__1_5_1_3_2_6_5_4 PP-CLR n58_a_paulfellows__1_5_1_3_2_6_5->n58_a_paulfellows__1_5_1_3_2_6_5_4 n58_a_paulfellows__1_5_1_3_2_6_5_1_1 ADV n58_a_paulfellows__1_5_1_3_2_6_5_1->n58_a_paulfellows__1_5_1_3_2_6_5_1_1 n58_a_paulfellows__1_5_1_3_2_6_5_1_1->n58_a_paulfellows__1_5_1_3_2_6_5_1_1_1 n58_a_paulfellows__1_5_1_3_2_6_5_2_1 ADV n58_a_paulfellows__1_5_1_3_2_6_5_2->n58_a_paulfellows__1_5_1_3_2_6_5_2_1 n58_a_paulfellows__1_5_1_3_2_6_5_2_1->n58_a_paulfellows__1_5_1_3_2_6_5_2_1_1 n58_a_paulfellows__1_5_1_3_2_6_5_3->n58_a_paulfellows__1_5_1_3_2_6_5_3_1 n58_a_paulfellows__1_5_1_3_2_6_5_4_1 P-ROLE n58_a_paulfellows__1_5_1_3_2_6_5_4->n58_a_paulfellows__1_5_1_3_2_6_5_4_1 n58_a_paulfellows__1_5_1_3_2_6_5_4_2 NP n58_a_paulfellows__1_5_1_3_2_6_5_4->n58_a_paulfellows__1_5_1_3_2_6_5_4_2 n58_a_paulfellows__1_5_1_3_2_6_5_4_1->n58_a_paulfellows__1_5_1_3_2_6_5_4_1_1 n58_a_paulfellows__1_5_1_3_2_6_5_4_2->n58_a_paulfellows__1_5_1_3_2_6_5_4_2_1 n58_a_paulfellows__1_6->n58_a_paulfellows__1_6_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;__ kept;{keep})
          (NP-OB1 (D the;{the})
                  (N faith;{faith}))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                       (HVP;_cat_Ve_ <apos>ve;{have})
                       (IP-PPL-CAT (VVN;__ built;{build})
                                   (NP-OB1 (D another;{another})
                                           (NUM 5)
                                           (N million;{million})
                                           (NS units;{unit})
                                           (IP-REL (C that;{that})
                                                   (NP-SBJ *T*)
                                                   (HVP;_cat_Ve_ have;{have})
                                                   (IP-PPL-CAT (VVN;_Tn_ got;{get})
                                                               (NP-OB1 (D an;{an})
                                                                       (IP-PPL (VAG;_I_ operating;{operate}))
                                                                       (N system;{system})
                                                                       (PP (ADV just;{just})
                                                                           (P-ROLE like;{like})
                                                                           (NP (D this;{this})
                                                                               (NUM one;{one}))))
                                                               (PP-NIM (P-ROLE in;{in})
                                                                       (NP (PRO them;{they})))))
                                           (IP-REL (C that;{that})
                                                   (ADVP-NIM (ADV probably;{probably}))
                                                   (NP-SBJ (Q no;{no})
                                                           (N one;{one}))
                                                   (HVP;_cat_Ve_ has;{have})
                                                   (IP-PPL-CAT (ADVP-NIM (ADV ever;{ever}))
                                                               (ADVP-NIM (ADV really;{really}))
                                                               (VVN;_Ipr_ heard;{hear[of]})
                                                               (PP-CLR (P-ROLE of;{of})
                                                                       (NP *T*))))))))
          (PUNC .))
  (ID 58_a_paulfellows))