57_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.

n57_a_paulfellows n57_a_paulfellows__1_1_1_1 I n57_a_paulfellows__1_2_1 kept n57_a_paulfellows__1_3_1_1 the n57_a_paulfellows__1_3_2_1 faith n57_a_paulfellows__1_4_1 , n57_a_paulfellows__1_5_1_1_1_1 I n57_a_paulfellows__1_5_1_2_1 've n57_a_paulfellows__1_5_1_3_1_1 built n57_a_paulfellows__1_5_1_3_2_1_1 another n57_a_paulfellows__1_5_1_3_2_2_1 5 n57_a_paulfellows__1_5_1_3_2_3_1 million n57_a_paulfellows__1_5_1_3_2_4_1 units n57_a_paulfellows__1_5_1_3_2_5_1_1 that n57_a_paulfellows__1_5_1_3_2_5_2_1 *T* n57_a_paulfellows__1_5_1_3_2_5_3_1 have n57_a_paulfellows__1_5_1_3_2_5_4_1_1 got n57_a_paulfellows__1_5_1_3_2_5_4_2_1_1 an n57_a_paulfellows__1_5_1_3_2_5_4_2_2_1_1 operating n57_a_paulfellows__1_5_1_3_2_5_4_2_3_1 system n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1_1 just n57_a_paulfellows__1_5_1_3_2_5_4_2_4_2_1 like n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1_1 this n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2_1 one n57_a_paulfellows__1_5_1_3_2_5_4_3_1_1 in n57_a_paulfellows__1_5_1_3_2_5_4_3_2_1_1 them n57_a_paulfellows__1_5_1_3_2_6_1_1 that n57_a_paulfellows__1_5_1_3_2_6_2_1_1 probably n57_a_paulfellows__1_5_1_3_2_6_3_1_1 no n57_a_paulfellows__1_5_1_3_2_6_3_2_1 one n57_a_paulfellows__1_5_1_3_2_6_4_1 has n57_a_paulfellows__1_5_1_3_2_6_5_1_1_1 ever n57_a_paulfellows__1_5_1_3_2_6_5_2_1_1 really n57_a_paulfellows__1_5_1_3_2_6_5_3_1 heard n57_a_paulfellows__1_5_1_3_2_6_5_4_1_1 of n57_a_paulfellows__1_5_1_3_2_6_5_4_2_1 *T* n57_a_paulfellows__1_6_1 . n57_a_paulfellows__1 IP-MAT n57_a_paulfellows__1_1 NP-SBJ n57_a_paulfellows__1->n57_a_paulfellows__1_1 n57_a_paulfellows__1_2 VBD;__ n57_a_paulfellows__1->n57_a_paulfellows__1_2 n57_a_paulfellows__1_3 NP-OB1 n57_a_paulfellows__1->n57_a_paulfellows__1_3 n57_a_paulfellows__1_4 PUNC n57_a_paulfellows__1->n57_a_paulfellows__1_4 n57_a_paulfellows__1_5 PRN n57_a_paulfellows__1->n57_a_paulfellows__1_5 n57_a_paulfellows__1_6 PUNC n57_a_paulfellows__1->n57_a_paulfellows__1_6 n57_a_paulfellows__1_1_1 PRO n57_a_paulfellows__1_1->n57_a_paulfellows__1_1_1 n57_a_paulfellows__1_1_1->n57_a_paulfellows__1_1_1_1 n57_a_paulfellows__1_2->n57_a_paulfellows__1_2_1 n57_a_paulfellows__1_3_1 D n57_a_paulfellows__1_3->n57_a_paulfellows__1_3_1 n57_a_paulfellows__1_3_2 N n57_a_paulfellows__1_3->n57_a_paulfellows__1_3_2 n57_a_paulfellows__1_3_1->n57_a_paulfellows__1_3_1_1 n57_a_paulfellows__1_3_2->n57_a_paulfellows__1_3_2_1 n57_a_paulfellows__1_4->n57_a_paulfellows__1_4_1 n57_a_paulfellows__1_5_1 IP-MAT n57_a_paulfellows__1_5->n57_a_paulfellows__1_5_1 n57_a_paulfellows__1_5_1_1 NP-SBJ n57_a_paulfellows__1_5_1->n57_a_paulfellows__1_5_1_1 n57_a_paulfellows__1_5_1_2 HVP;_cat_Ve_ n57_a_paulfellows__1_5_1->n57_a_paulfellows__1_5_1_2 n57_a_paulfellows__1_5_1_3 IP-PPL-CAT n57_a_paulfellows__1_5_1->n57_a_paulfellows__1_5_1_3 n57_a_paulfellows__1_5_1_1_1 PRO n57_a_paulfellows__1_5_1_1->n57_a_paulfellows__1_5_1_1_1 n57_a_paulfellows__1_5_1_1_1->n57_a_paulfellows__1_5_1_1_1_1 n57_a_paulfellows__1_5_1_2->n57_a_paulfellows__1_5_1_2_1 n57_a_paulfellows__1_5_1_3_1 VVN;__ n57_a_paulfellows__1_5_1_3->n57_a_paulfellows__1_5_1_3_1 n57_a_paulfellows__1_5_1_3_2 NP-OB1 n57_a_paulfellows__1_5_1_3->n57_a_paulfellows__1_5_1_3_2 n57_a_paulfellows__1_5_1_3_1->n57_a_paulfellows__1_5_1_3_1_1 n57_a_paulfellows__1_5_1_3_2_1 D n57_a_paulfellows__1_5_1_3_2->n57_a_paulfellows__1_5_1_3_2_1 n57_a_paulfellows__1_5_1_3_2_2 NUM n57_a_paulfellows__1_5_1_3_2->n57_a_paulfellows__1_5_1_3_2_2 n57_a_paulfellows__1_5_1_3_2_3 N n57_a_paulfellows__1_5_1_3_2->n57_a_paulfellows__1_5_1_3_2_3 n57_a_paulfellows__1_5_1_3_2_4 NS n57_a_paulfellows__1_5_1_3_2->n57_a_paulfellows__1_5_1_3_2_4 n57_a_paulfellows__1_5_1_3_2_5 IP-REL n57_a_paulfellows__1_5_1_3_2->n57_a_paulfellows__1_5_1_3_2_5 n57_a_paulfellows__1_5_1_3_2_6 IP-REL n57_a_paulfellows__1_5_1_3_2->n57_a_paulfellows__1_5_1_3_2_6 n57_a_paulfellows__1_5_1_3_2_1->n57_a_paulfellows__1_5_1_3_2_1_1 n57_a_paulfellows__1_5_1_3_2_2->n57_a_paulfellows__1_5_1_3_2_2_1 n57_a_paulfellows__1_5_1_3_2_3->n57_a_paulfellows__1_5_1_3_2_3_1 n57_a_paulfellows__1_5_1_3_2_4->n57_a_paulfellows__1_5_1_3_2_4_1 n57_a_paulfellows__1_5_1_3_2_5_1 C n57_a_paulfellows__1_5_1_3_2_5->n57_a_paulfellows__1_5_1_3_2_5_1 n57_a_paulfellows__1_5_1_3_2_5_2 NP-SBJ n57_a_paulfellows__1_5_1_3_2_5->n57_a_paulfellows__1_5_1_3_2_5_2 n57_a_paulfellows__1_5_1_3_2_5_3 HVP;_cat_Ve_ n57_a_paulfellows__1_5_1_3_2_5->n57_a_paulfellows__1_5_1_3_2_5_3 n57_a_paulfellows__1_5_1_3_2_5_4 IP-PPL-CAT n57_a_paulfellows__1_5_1_3_2_5->n57_a_paulfellows__1_5_1_3_2_5_4 n57_a_paulfellows__1_5_1_3_2_5_1->n57_a_paulfellows__1_5_1_3_2_5_1_1 n57_a_paulfellows__1_5_1_3_2_5_2->n57_a_paulfellows__1_5_1_3_2_5_2_1 n57_a_paulfellows__1_5_1_3_2_5_3->n57_a_paulfellows__1_5_1_3_2_5_3_1 n57_a_paulfellows__1_5_1_3_2_5_4_1 VVN;_Tn_ n57_a_paulfellows__1_5_1_3_2_5_4->n57_a_paulfellows__1_5_1_3_2_5_4_1 n57_a_paulfellows__1_5_1_3_2_5_4_2 NP-OB1 n57_a_paulfellows__1_5_1_3_2_5_4->n57_a_paulfellows__1_5_1_3_2_5_4_2 n57_a_paulfellows__1_5_1_3_2_5_4_3 PP-NIM n57_a_paulfellows__1_5_1_3_2_5_4->n57_a_paulfellows__1_5_1_3_2_5_4_3 n57_a_paulfellows__1_5_1_3_2_5_4_1->n57_a_paulfellows__1_5_1_3_2_5_4_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_1 D n57_a_paulfellows__1_5_1_3_2_5_4_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_2 IP-PPL n57_a_paulfellows__1_5_1_3_2_5_4_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_2 n57_a_paulfellows__1_5_1_3_2_5_4_2_3 N n57_a_paulfellows__1_5_1_3_2_5_4_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_3 n57_a_paulfellows__1_5_1_3_2_5_4_2_4 PP n57_a_paulfellows__1_5_1_3_2_5_4_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_4 n57_a_paulfellows__1_5_1_3_2_5_4_2_1->n57_a_paulfellows__1_5_1_3_2_5_4_2_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_2_1 VAG;_I_ n57_a_paulfellows__1_5_1_3_2_5_4_2_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_2_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_2_1->n57_a_paulfellows__1_5_1_3_2_5_4_2_2_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_3->n57_a_paulfellows__1_5_1_3_2_5_4_2_3_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1 ADVP-NIM n57_a_paulfellows__1_5_1_3_2_5_4_2_4->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_2 P-ROLE n57_a_paulfellows__1_5_1_3_2_5_4_2_4->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_2 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3 NP n57_a_paulfellows__1_5_1_3_2_5_4_2_4->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1 ADV n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_1_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_2_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1 D n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2 NUM n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2->n57_a_paulfellows__1_5_1_3_2_5_4_2_4_3_2_1 n57_a_paulfellows__1_5_1_3_2_5_4_3_1 P-ROLE n57_a_paulfellows__1_5_1_3_2_5_4_3->n57_a_paulfellows__1_5_1_3_2_5_4_3_1 n57_a_paulfellows__1_5_1_3_2_5_4_3_2 NP n57_a_paulfellows__1_5_1_3_2_5_4_3->n57_a_paulfellows__1_5_1_3_2_5_4_3_2 n57_a_paulfellows__1_5_1_3_2_5_4_3_1->n57_a_paulfellows__1_5_1_3_2_5_4_3_1_1 n57_a_paulfellows__1_5_1_3_2_5_4_3_2_1 PRO n57_a_paulfellows__1_5_1_3_2_5_4_3_2->n57_a_paulfellows__1_5_1_3_2_5_4_3_2_1 n57_a_paulfellows__1_5_1_3_2_5_4_3_2_1->n57_a_paulfellows__1_5_1_3_2_5_4_3_2_1_1 n57_a_paulfellows__1_5_1_3_2_6_1 C n57_a_paulfellows__1_5_1_3_2_6->n57_a_paulfellows__1_5_1_3_2_6_1 n57_a_paulfellows__1_5_1_3_2_6_2 ADVP-NIM n57_a_paulfellows__1_5_1_3_2_6->n57_a_paulfellows__1_5_1_3_2_6_2 n57_a_paulfellows__1_5_1_3_2_6_3 NP-SBJ n57_a_paulfellows__1_5_1_3_2_6->n57_a_paulfellows__1_5_1_3_2_6_3 n57_a_paulfellows__1_5_1_3_2_6_4 HVP;_cat_Ve_ n57_a_paulfellows__1_5_1_3_2_6->n57_a_paulfellows__1_5_1_3_2_6_4 n57_a_paulfellows__1_5_1_3_2_6_5 IP-PPL-CAT n57_a_paulfellows__1_5_1_3_2_6->n57_a_paulfellows__1_5_1_3_2_6_5 n57_a_paulfellows__1_5_1_3_2_6_1->n57_a_paulfellows__1_5_1_3_2_6_1_1 n57_a_paulfellows__1_5_1_3_2_6_2_1 ADV n57_a_paulfellows__1_5_1_3_2_6_2->n57_a_paulfellows__1_5_1_3_2_6_2_1 n57_a_paulfellows__1_5_1_3_2_6_2_1->n57_a_paulfellows__1_5_1_3_2_6_2_1_1 n57_a_paulfellows__1_5_1_3_2_6_3_1 Q n57_a_paulfellows__1_5_1_3_2_6_3->n57_a_paulfellows__1_5_1_3_2_6_3_1 n57_a_paulfellows__1_5_1_3_2_6_3_2 N n57_a_paulfellows__1_5_1_3_2_6_3->n57_a_paulfellows__1_5_1_3_2_6_3_2 n57_a_paulfellows__1_5_1_3_2_6_3_1->n57_a_paulfellows__1_5_1_3_2_6_3_1_1 n57_a_paulfellows__1_5_1_3_2_6_3_2->n57_a_paulfellows__1_5_1_3_2_6_3_2_1 n57_a_paulfellows__1_5_1_3_2_6_4->n57_a_paulfellows__1_5_1_3_2_6_4_1 n57_a_paulfellows__1_5_1_3_2_6_5_1 ADVP-NIM n57_a_paulfellows__1_5_1_3_2_6_5->n57_a_paulfellows__1_5_1_3_2_6_5_1 n57_a_paulfellows__1_5_1_3_2_6_5_2 ADVP-NIM n57_a_paulfellows__1_5_1_3_2_6_5->n57_a_paulfellows__1_5_1_3_2_6_5_2 n57_a_paulfellows__1_5_1_3_2_6_5_3 VVN;_Ipr_ n57_a_paulfellows__1_5_1_3_2_6_5->n57_a_paulfellows__1_5_1_3_2_6_5_3 n57_a_paulfellows__1_5_1_3_2_6_5_4 PP-CLR n57_a_paulfellows__1_5_1_3_2_6_5->n57_a_paulfellows__1_5_1_3_2_6_5_4 n57_a_paulfellows__1_5_1_3_2_6_5_1_1 ADV n57_a_paulfellows__1_5_1_3_2_6_5_1->n57_a_paulfellows__1_5_1_3_2_6_5_1_1 n57_a_paulfellows__1_5_1_3_2_6_5_1_1->n57_a_paulfellows__1_5_1_3_2_6_5_1_1_1 n57_a_paulfellows__1_5_1_3_2_6_5_2_1 ADV n57_a_paulfellows__1_5_1_3_2_6_5_2->n57_a_paulfellows__1_5_1_3_2_6_5_2_1 n57_a_paulfellows__1_5_1_3_2_6_5_2_1->n57_a_paulfellows__1_5_1_3_2_6_5_2_1_1 n57_a_paulfellows__1_5_1_3_2_6_5_3->n57_a_paulfellows__1_5_1_3_2_6_5_3_1 n57_a_paulfellows__1_5_1_3_2_6_5_4_1 P-ROLE n57_a_paulfellows__1_5_1_3_2_6_5_4->n57_a_paulfellows__1_5_1_3_2_6_5_4_1 n57_a_paulfellows__1_5_1_3_2_6_5_4_2 NP n57_a_paulfellows__1_5_1_3_2_6_5_4->n57_a_paulfellows__1_5_1_3_2_6_5_4_2 n57_a_paulfellows__1_5_1_3_2_6_5_4_1->n57_a_paulfellows__1_5_1_3_2_6_5_4_1_1 n57_a_paulfellows__1_5_1_3_2_6_5_4_2->n57_a_paulfellows__1_5_1_3_2_6_5_4_2_1 n57_a_paulfellows__1_6->n57_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 (ADVP-NIM (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 57_a_paulfellows))



%3 r_0057_0032__heard heard r_0057_0031__really really r_0057_0032__heard->r_0057_0031__really [nim] r_0057_0030__ever ever r_0057_0032__heard->r_0057_0030__ever [nim] r_0057_0028__one one r_0057_0032__heard->r_0057_0028__one [arg0] r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units another 5 million units r_0057_0032__heard->r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units of inv_clr r_0057_0029__has has r_0057_0029__has->r_0057_0032__heard [scope] r_0057_0026__probably probably r_0057_0029__has->r_0057_0026__probably [nim] r_0057_0027__no__quant no [quant] r_0057_0027__no__quant->r_0057_0028__one [restriction] r_0057_0027__no__quant->r_0057_0029__has [scope] r_0057_0017__operating operating r_0057_0016__an_r_0057_0018__system an system r_0057_0017__operating->r_0057_0016__an_r_0057_0018__system [inv_arg0] r_0057_0021__this_r_0057_0022__one this one r_0057_0016__an_r_0057_0018__system->r_0057_0021__this_r_0057_0022__one just like r_0057_0015__got got r_0057_0015__got->r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units [inv_arg0] r_0057_0015__got->r_0057_0016__an_r_0057_0018__system [arg1] r_0057_0024__them them r_0057_0015__got->r_0057_0024__them in [nim] r_0057_0014__have have r_0057_0014__have->r_0057_0015__got [scope] r_0057_0008__built built r_0057_0008__built->r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units [arg1] r_0057_0001__I I r_0057_0008__built->r_0057_0001__I [arg0] r_0057_0007___apos_ve 've r_0057_0007___apos_ve->r_0057_0008__built [scope] r_0057_0002__kept kept r_0057_0002__kept->r_0057_0001__I [arg0] r_0057_0002__kept->r_0057_0007___apos_ve [prn] r_0057_0003__the_r_0057_0004__faith the faith r_0057_0002__kept->r_0057_0003__the_r_0057_0004__faith [arg1]
arc(r_0057_0002__kept,r_0057_0001__I,arg0).
arc(r_0057_0002__kept,r_0057_0003__the_r_0057_0004__faith,arg1).
arc(r_0057_0002__kept,r_0057_0007___apos_ve,prn).
arc(r_0057_0007___apos_ve,r_0057_0008__built,scope).
arc(r_0057_0008__built,r_0057_0001__I,arg0).
arc(r_0057_0008__built,r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units,arg1).
arc(r_0057_0014__have,r_0057_0015__got,scope).
arc(r_0057_0015__got,r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units,inv_arg0).
arc(r_0057_0015__got,r_0057_0016__an_r_0057_0018__system,arg1).
arc(r_0057_0015__got,r_0057_0024__them,r_0057_0023__in__nim).
arc(r_0057_0016__an_r_0057_0018__system,r_0057_0021__this_r_0057_0022__one,r_0057_0019__just_r_0057_0020__like).
arc(r_0057_0017__operating,r_0057_0016__an_r_0057_0018__system,inv_arg0).
arc(r_0057_0027__no__quant,r_0057_0028__one,restriction).
arc(r_0057_0027__no__quant,r_0057_0029__has,scope).
arc(r_0057_0029__has,r_0057_0026__probably,nim).
arc(r_0057_0029__has,r_0057_0032__heard,scope).
arc(r_0057_0032__heard,r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units,r_0057_0033__of__inv_clr).
arc(r_0057_0032__heard,r_0057_0028__one,arg0).
arc(r_0057_0032__heard,r_0057_0030__ever,nim).
arc(r_0057_0032__heard,r_0057_0031__really,nim).



%3 r_0057_0002__kept kept r_0057_0001__I I r_0057_0002__kept->r_0057_0001__I [arg0] r_0057_0003__the_r_0057_0004__faith the faith r_0057_0002__kept->r_0057_0003__the_r_0057_0004__faith [arg1] r_0057_0007___apos_ve_r_0057_0008__built 've built r_0057_0002__kept->r_0057_0007___apos_ve_r_0057_0008__built [prn] r_0057_0007___apos_ve_r_0057_0008__built->r_0057_0001__I [arg0] r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units another 5 million units r_0057_0007___apos_ve_r_0057_0008__built->r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units [arg1] r_0057_0014__have_r_0057_0015__got have got r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units->r_0057_0014__have_r_0057_0015__got [inv_arg0] r_0057_0029__has_r_0057_0032__heard has heard r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units->r_0057_0029__has_r_0057_0032__heard of inv_clr r_0057_0016__an_r_0057_0018__system an system r_0057_0014__have_r_0057_0015__got->r_0057_0016__an_r_0057_0018__system [arg1] r_0057_0024__them them r_0057_0014__have_r_0057_0015__got->r_0057_0024__them in [nim] r_0057_0021__this_r_0057_0022__one this one r_0057_0016__an_r_0057_0018__system->r_0057_0021__this_r_0057_0022__one just like r_0057_0017__operating operating r_0057_0016__an_r_0057_0018__system->r_0057_0017__operating [inv_arg0] r_0057_0027__no__quant no [quant] r_0057_0028__one one r_0057_0027__no__quant->r_0057_0028__one [restriction] r_0057_0027__no__quant->r_0057_0029__has_r_0057_0032__heard [scope] r_0057_0029__has_r_0057_0032__heard->r_0057_0028__one [arg0] r_0057_0026__probably probably r_0057_0029__has_r_0057_0032__heard->r_0057_0026__probably [nim] r_0057_0030__ever ever r_0057_0029__has_r_0057_0032__heard->r_0057_0030__ever [nim] r_0057_0031__really really r_0057_0029__has_r_0057_0032__heard->r_0057_0031__really [nim]
fof(formula,axiom,
    ? [R_0057_0001__I,R_0057_0003__THE_R_0057_0004__FAITH,R_0057_0021__THIS_R_0057_0022__ONE,R_0057_0017__OPERATING,R_0057_0016__AN_R_0057_0018__SYSTEM,R_0057_0024__THEM,R_0057_0014__HAVE_R_0057_0015__GOT,R_0057_0026__PROBABLY,R_0057_0028__ONE,R_0057_0030__EVER,R_0057_0031__REALLY,R_0057_0029__HAS_R_0057_0032__HEARD,R_0057_0009__ANOTHER_R_0057_0010__5_R_0057_0011__MILLION_R_0057_0012__UNITS,R_0057_0007___APOS_VE_R_0057_0008__BUILT,R_0057_0002__KEPT] :
      ( r_0057_0001__I(R_0057_0001__I)
      & r_0057_0003__the_r_0057_0004__faith(R_0057_0003__THE_R_0057_0004__FAITH)
      & r_0057_0017__operating(R_0057_0017__OPERATING)
      & r_0057_0021__this_r_0057_0022__one(R_0057_0021__THIS_R_0057_0022__ONE)
      & r_0057_0024__them(R_0057_0024__THEM)
      & r_0057_0026__probably(R_0057_0026__PROBABLY)
      & r_0057_0028__one(R_0057_0028__ONE)
      & r_0057_0030__ever(R_0057_0030__EVER)
      & r_0057_0031__really(R_0057_0031__REALLY)
      & ( r_0057_0028__one(R_0057_0028__ONE)
       => r_0057_0029__has_r_0057_0032__heard(R_0057_0029__HAS_R_0057_0032__HEARD) )
      & r_0057_0002__kept(R_0057_0002__KEPT)
      & has_prn(R_0057_0002__KEPT,R_0057_0007___APOS_VE_R_0057_0008__BUILT)
      & r_0057_0007___apos_ve_r_0057_0008__built(R_0057_0007___APOS_VE_R_0057_0008__BUILT)
      & has_arg1(R_0057_0007___APOS_VE_R_0057_0008__BUILT,R_0057_0009__ANOTHER_R_0057_0010__5_R_0057_0011__MILLION_R_0057_0012__UNITS)
      & r_0057_0009__another_r_0057_0010__5_r_0057_0011__million_r_0057_0012__units(R_0057_0009__ANOTHER_R_0057_0010__5_R_0057_0011__MILLION_R_0057_0012__UNITS)
      & has_r_0057_0033__of__inv_clr(R_0057_0009__ANOTHER_R_0057_0010__5_R_0057_0011__MILLION_R_0057_0012__UNITS,R_0057_0029__HAS_R_0057_0032__HEARD)
      & r_0057_0029__has_r_0057_0032__heard(R_0057_0029__HAS_R_0057_0032__HEARD)
      & has_nim(R_0057_0029__HAS_R_0057_0032__HEARD,R_0057_0031__REALLY)
      & has_nim(R_0057_0029__HAS_R_0057_0032__HEARD,R_0057_0030__EVER)
      & has_arg0(R_0057_0029__HAS_R_0057_0032__HEARD,R_0057_0028__ONE)
      & has_nim(R_0057_0029__HAS_R_0057_0032__HEARD,R_0057_0026__PROBABLY)
      & has_inv_arg0(R_0057_0009__ANOTHER_R_0057_0010__5_R_0057_0011__MILLION_R_0057_0012__UNITS,R_0057_0014__HAVE_R_0057_0015__GOT)
      & r_0057_0014__have_r_0057_0015__got(R_0057_0014__HAVE_R_0057_0015__GOT)
      & has_r_0057_0023__in__nim(R_0057_0014__HAVE_R_0057_0015__GOT,R_0057_0024__THEM)
      & has_arg1(R_0057_0014__HAVE_R_0057_0015__GOT,R_0057_0016__AN_R_0057_0018__SYSTEM)
      & r_0057_0016__an_r_0057_0018__system(R_0057_0016__AN_R_0057_0018__SYSTEM)
      & has_inv_arg0(R_0057_0016__AN_R_0057_0018__SYSTEM,R_0057_0017__OPERATING)
      & has_r_0057_0019__just_r_0057_0020__like(R_0057_0016__AN_R_0057_0018__SYSTEM,R_0057_0021__THIS_R_0057_0022__ONE)
      & has_arg0(R_0057_0007___APOS_VE_R_0057_0008__BUILT,R_0057_0001__I)
      & has_arg1(R_0057_0002__KEPT,R_0057_0003__THE_R_0057_0004__FAITH)
      & has_arg0(R_0057_0002__KEPT,R_0057_0001__I) ) ).