Context                Previous, Next                Top


11_a_paulfellows
We had a really interesting time with part of that, we had one of the machines that we just could not get this thing to boot reliably.

n11_a_paulfellows n11_a_paulfellows__1_1_1_1 We n11_a_paulfellows__1_2_1 had n11_a_paulfellows__1_3_1_1 a n11_a_paulfellows__1_3_2_1_1_1 really n11_a_paulfellows__1_3_2_2_1 interesting n11_a_paulfellows__1_3_3_1 time n11_a_paulfellows__1_3_4_1_1 with n11_a_paulfellows__1_3_4_2_1_1 part n11_a_paulfellows__1_3_4_2_2_1_1 of n11_a_paulfellows__1_3_4_2_2_2_1_1 that n11_a_paulfellows__1_4_1 , n11_a_paulfellows__1_5_1_1_1_1 we n11_a_paulfellows__1_5_1_2_1 had n11_a_paulfellows__1_5_1_3_1_1 one n11_a_paulfellows__1_5_1_3_2_1_1 of n11_a_paulfellows__1_5_1_3_2_2_1_1 the n11_a_paulfellows__1_5_1_3_2_2_2_1 machines n11_a_paulfellows__1_5_1_3_3_1_1 that n11_a_paulfellows__1_5_1_3_3_2_1 *T* n11_a_paulfellows__1_5_1_3_3_3_1_1 we n11_a_paulfellows__1_5_1_3_3_4_1_1 just n11_a_paulfellows__1_5_1_3_3_5_1 could n11_a_paulfellows__1_5_1_3_3_6_1 not n11_a_paulfellows__1_5_1_3_3_7_1_1 get n11_a_paulfellows__1_5_1_3_3_7_2_1_1 this n11_a_paulfellows__1_5_1_3_3_7_2_2_1 thing n11_a_paulfellows__1_5_1_3_3_7_3_1_1 to n11_a_paulfellows__1_5_1_3_3_7_3_2_1 boot n11_a_paulfellows__1_5_1_3_3_7_3_3_1_1 reliably n11_a_paulfellows__1_6_1 . n11_a_paulfellows__1 IP-MAT n11_a_paulfellows__1_1 NP-SBJ n11_a_paulfellows__1->n11_a_paulfellows__1_1 n11_a_paulfellows__1_2 HVD;_Tn_ n11_a_paulfellows__1->n11_a_paulfellows__1_2 n11_a_paulfellows__1_3 NP-OB1 n11_a_paulfellows__1->n11_a_paulfellows__1_3 n11_a_paulfellows__1_4 PUNC n11_a_paulfellows__1->n11_a_paulfellows__1_4 n11_a_paulfellows__1_5 PRN n11_a_paulfellows__1->n11_a_paulfellows__1_5 n11_a_paulfellows__1_6 PUNC n11_a_paulfellows__1->n11_a_paulfellows__1_6 n11_a_paulfellows__1_1_1 PRO n11_a_paulfellows__1_1->n11_a_paulfellows__1_1_1 n11_a_paulfellows__1_1_1->n11_a_paulfellows__1_1_1_1 n11_a_paulfellows__1_2->n11_a_paulfellows__1_2_1 n11_a_paulfellows__1_3_1 D n11_a_paulfellows__1_3->n11_a_paulfellows__1_3_1 n11_a_paulfellows__1_3_2 ADJP n11_a_paulfellows__1_3->n11_a_paulfellows__1_3_2 n11_a_paulfellows__1_3_3 N n11_a_paulfellows__1_3->n11_a_paulfellows__1_3_3 n11_a_paulfellows__1_3_4 PP n11_a_paulfellows__1_3->n11_a_paulfellows__1_3_4 n11_a_paulfellows__1_3_1->n11_a_paulfellows__1_3_1_1 n11_a_paulfellows__1_3_2_1 ADVP n11_a_paulfellows__1_3_2->n11_a_paulfellows__1_3_2_1 n11_a_paulfellows__1_3_2_2 ADJ n11_a_paulfellows__1_3_2->n11_a_paulfellows__1_3_2_2 n11_a_paulfellows__1_3_2_1_1 ADV n11_a_paulfellows__1_3_2_1->n11_a_paulfellows__1_3_2_1_1 n11_a_paulfellows__1_3_2_1_1->n11_a_paulfellows__1_3_2_1_1_1 n11_a_paulfellows__1_3_2_2->n11_a_paulfellows__1_3_2_2_1 n11_a_paulfellows__1_3_3->n11_a_paulfellows__1_3_3_1 n11_a_paulfellows__1_3_4_1 P-ROLE n11_a_paulfellows__1_3_4->n11_a_paulfellows__1_3_4_1 n11_a_paulfellows__1_3_4_2 NP n11_a_paulfellows__1_3_4->n11_a_paulfellows__1_3_4_2 n11_a_paulfellows__1_3_4_1->n11_a_paulfellows__1_3_4_1_1 n11_a_paulfellows__1_3_4_2_1 N n11_a_paulfellows__1_3_4_2->n11_a_paulfellows__1_3_4_2_1 n11_a_paulfellows__1_3_4_2_2 PP n11_a_paulfellows__1_3_4_2->n11_a_paulfellows__1_3_4_2_2 n11_a_paulfellows__1_3_4_2_1->n11_a_paulfellows__1_3_4_2_1_1 n11_a_paulfellows__1_3_4_2_2_1 P-ROLE n11_a_paulfellows__1_3_4_2_2->n11_a_paulfellows__1_3_4_2_2_1 n11_a_paulfellows__1_3_4_2_2_2 NP n11_a_paulfellows__1_3_4_2_2->n11_a_paulfellows__1_3_4_2_2_2 n11_a_paulfellows__1_3_4_2_2_1->n11_a_paulfellows__1_3_4_2_2_1_1 n11_a_paulfellows__1_3_4_2_2_2_1 D;_nphd_ n11_a_paulfellows__1_3_4_2_2_2->n11_a_paulfellows__1_3_4_2_2_2_1 n11_a_paulfellows__1_3_4_2_2_2_1->n11_a_paulfellows__1_3_4_2_2_2_1_1 n11_a_paulfellows__1_4->n11_a_paulfellows__1_4_1 n11_a_paulfellows__1_5_1 IP-MAT n11_a_paulfellows__1_5->n11_a_paulfellows__1_5_1 n11_a_paulfellows__1_5_1_1 NP-SBJ n11_a_paulfellows__1_5_1->n11_a_paulfellows__1_5_1_1 n11_a_paulfellows__1_5_1_2 HVD;_Tn_ n11_a_paulfellows__1_5_1->n11_a_paulfellows__1_5_1_2 n11_a_paulfellows__1_5_1_3 NP-OB1 n11_a_paulfellows__1_5_1->n11_a_paulfellows__1_5_1_3 n11_a_paulfellows__1_5_1_1_1 PRO n11_a_paulfellows__1_5_1_1->n11_a_paulfellows__1_5_1_1_1 n11_a_paulfellows__1_5_1_1_1->n11_a_paulfellows__1_5_1_1_1_1 n11_a_paulfellows__1_5_1_2->n11_a_paulfellows__1_5_1_2_1 n11_a_paulfellows__1_5_1_3_1 NUM n11_a_paulfellows__1_5_1_3->n11_a_paulfellows__1_5_1_3_1 n11_a_paulfellows__1_5_1_3_2 PP n11_a_paulfellows__1_5_1_3->n11_a_paulfellows__1_5_1_3_2 n11_a_paulfellows__1_5_1_3_3 IP-REL n11_a_paulfellows__1_5_1_3->n11_a_paulfellows__1_5_1_3_3 n11_a_paulfellows__1_5_1_3_1->n11_a_paulfellows__1_5_1_3_1_1 n11_a_paulfellows__1_5_1_3_2_1 P-ROLE n11_a_paulfellows__1_5_1_3_2->n11_a_paulfellows__1_5_1_3_2_1 n11_a_paulfellows__1_5_1_3_2_2 NP n11_a_paulfellows__1_5_1_3_2->n11_a_paulfellows__1_5_1_3_2_2 n11_a_paulfellows__1_5_1_3_2_1->n11_a_paulfellows__1_5_1_3_2_1_1 n11_a_paulfellows__1_5_1_3_2_2_1 D n11_a_paulfellows__1_5_1_3_2_2->n11_a_paulfellows__1_5_1_3_2_2_1 n11_a_paulfellows__1_5_1_3_2_2_2 NS n11_a_paulfellows__1_5_1_3_2_2->n11_a_paulfellows__1_5_1_3_2_2_2 n11_a_paulfellows__1_5_1_3_2_2_1->n11_a_paulfellows__1_5_1_3_2_2_1_1 n11_a_paulfellows__1_5_1_3_2_2_2->n11_a_paulfellows__1_5_1_3_2_2_2_1 n11_a_paulfellows__1_5_1_3_3_1 C n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_1 n11_a_paulfellows__1_5_1_3_3_2 NP-DSC n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_2 n11_a_paulfellows__1_5_1_3_3_3 NP-SBJ n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_3 n11_a_paulfellows__1_5_1_3_3_4 ADVP-NIM n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_4 n11_a_paulfellows__1_5_1_3_3_5 MD;_cat_Vi_ n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_5 n11_a_paulfellows__1_5_1_3_3_6 NEG n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_6 n11_a_paulfellows__1_5_1_3_3_7 IP-INF-CAT n11_a_paulfellows__1_5_1_3_3->n11_a_paulfellows__1_5_1_3_3_7 n11_a_paulfellows__1_5_1_3_3_1->n11_a_paulfellows__1_5_1_3_3_1_1 n11_a_paulfellows__1_5_1_3_3_2->n11_a_paulfellows__1_5_1_3_3_2_1 n11_a_paulfellows__1_5_1_3_3_3_1 PRO n11_a_paulfellows__1_5_1_3_3_3->n11_a_paulfellows__1_5_1_3_3_3_1 n11_a_paulfellows__1_5_1_3_3_3_1->n11_a_paulfellows__1_5_1_3_3_3_1_1 n11_a_paulfellows__1_5_1_3_3_4_1 ADV n11_a_paulfellows__1_5_1_3_3_4->n11_a_paulfellows__1_5_1_3_3_4_1 n11_a_paulfellows__1_5_1_3_3_4_1->n11_a_paulfellows__1_5_1_3_3_4_1_1 n11_a_paulfellows__1_5_1_3_3_5->n11_a_paulfellows__1_5_1_3_3_5_1 n11_a_paulfellows__1_5_1_3_3_6->n11_a_paulfellows__1_5_1_3_3_6_1 n11_a_paulfellows__1_5_1_3_3_7_1 VB;_Cn.t_ n11_a_paulfellows__1_5_1_3_3_7->n11_a_paulfellows__1_5_1_3_3_7_1 n11_a_paulfellows__1_5_1_3_3_7_2 NP-OB1 n11_a_paulfellows__1_5_1_3_3_7->n11_a_paulfellows__1_5_1_3_3_7_2 n11_a_paulfellows__1_5_1_3_3_7_3 IP-INF-PRD n11_a_paulfellows__1_5_1_3_3_7->n11_a_paulfellows__1_5_1_3_3_7_3 n11_a_paulfellows__1_5_1_3_3_7_1->n11_a_paulfellows__1_5_1_3_3_7_1_1 n11_a_paulfellows__1_5_1_3_3_7_2_1 D n11_a_paulfellows__1_5_1_3_3_7_2->n11_a_paulfellows__1_5_1_3_3_7_2_1 n11_a_paulfellows__1_5_1_3_3_7_2_2 N n11_a_paulfellows__1_5_1_3_3_7_2->n11_a_paulfellows__1_5_1_3_3_7_2_2 n11_a_paulfellows__1_5_1_3_3_7_2_1->n11_a_paulfellows__1_5_1_3_3_7_2_1_1 n11_a_paulfellows__1_5_1_3_3_7_2_2->n11_a_paulfellows__1_5_1_3_3_7_2_2_1 n11_a_paulfellows__1_5_1_3_3_7_3_1 TO n11_a_paulfellows__1_5_1_3_3_7_3->n11_a_paulfellows__1_5_1_3_3_7_3_1 n11_a_paulfellows__1_5_1_3_3_7_3_2 VB;_I_ n11_a_paulfellows__1_5_1_3_3_7_3->n11_a_paulfellows__1_5_1_3_3_7_3_2 n11_a_paulfellows__1_5_1_3_3_7_3_3 ADVP-NIM n11_a_paulfellows__1_5_1_3_3_7_3->n11_a_paulfellows__1_5_1_3_3_7_3_3 n11_a_paulfellows__1_5_1_3_3_7_3_1->n11_a_paulfellows__1_5_1_3_3_7_3_1_1 n11_a_paulfellows__1_5_1_3_3_7_3_2->n11_a_paulfellows__1_5_1_3_3_7_3_2_1 n11_a_paulfellows__1_5_1_3_3_7_3_3_1 ADV n11_a_paulfellows__1_5_1_3_3_7_3_3->n11_a_paulfellows__1_5_1_3_3_7_3_3_1 n11_a_paulfellows__1_5_1_3_3_7_3_3_1->n11_a_paulfellows__1_5_1_3_3_7_3_3_1_1 n11_a_paulfellows__1_6->n11_a_paulfellows__1_6_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADVP (ADV really;{really}))
                        (ADJ interesting;{interesting}))
                  (N time;{time})
                  (PP (P-ROLE with;{with})
                      (NP (N part;{part})
                          (PP (P-ROLE of;{of})
                              (NP (D;_nphd_ that;{that}))))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO we;{we}))
                       (HVD;_Tn_ had;{have})
                       (NP-OB1;{MACHINE} (NUM one;{one})
                                         (PP (P-ROLE of;{of})
                                             (NP (D the;{the})
                                                 (NS machines;{machine})))
                                         (IP-REL (C that;{that})
                                                 (NP-DSC *T*)
                                                 (NP-SBJ (PRO we;{we}))
                                                 (ADVP-NIM (ADV just;{just}))
                                                 (MD;_cat_Vi_ could;{can})
                                                 (NEG not;{not})
                                                 (IP-INF-CAT (VB;_Cn.t_ get;{get})
                                                             (NP-OB1;{MACHINE} (D this;{this})
                                                                               (N thing;{thing}))
                                                             (IP-INF-PRD (TO to;{to})
                                                                         (VB;_I_ boot;{boot})
                                                                         (ADVP-NIM (ADV reliably;{reliably}))))))))
          (PUNC .))
  (ID 11_a_paulfellows))


%3 r_0011_0027__boot boot z_0011_5015 r_0011_0027__boot->z_0011_5015 [arg0] r_0011_0028__reliably reliably r_0011_0027__boot->r_0011_0028__reliably [nim] r_0011_0023__get get r_0011_0023__get->r_0011_0027__boot [prd] r_0011_0014__one one r_0011_0023__get->r_0011_0014__one [arg1] r_0011_0001__We We r_0011_0023__get->r_0011_0001__We [arg0] r_0011_0016__the_r_0011_0017__machines the machines r_0011_0014__one->r_0011_0016__the_r_0011_0017__machines of r_0011_0022__not not r_0011_0021__could could r_0011_0022__not->r_0011_0021__could [keep_scope] r_0011_0021__could->r_0011_0023__get [scope] r_0011_0020__just just r_0011_0021__could->r_0011_0020__just [nim] r_0011_0013__had had r_0011_0013__had->r_0011_0014__one [arg1] r_0011_0013__had->r_0011_0001__We [arg0] r_0011_0008__part part r_0011_0010__that that r_0011_0008__part->r_0011_0010__that of r_0011_0005__interesting interesting r_0011_0004__really really r_0011_0005__interesting->r_0011_0004__really [qual] r_0011_0003__a_r_0011_0006__time a time r_0011_0003__a_r_0011_0006__time->r_0011_0008__part with r_0011_0003__a_r_0011_0006__time->r_0011_0005__interesting [attrib] r_0011_0002__had had r_0011_0002__had->r_0011_0001__We [arg0] r_0011_0002__had->r_0011_0013__had [prn] r_0011_0002__had->r_0011_0003__a_r_0011_0006__time [arg1] 
arc(r_0011_0002__had,r_0011_0001__We,arg0).
arc(r_0011_0002__had,r_0011_0003__a_r_0011_0006__time,arg1).
arc(r_0011_0002__had,r_0011_0013__had,prn).
arc(r_0011_0003__a_r_0011_0006__time,r_0011_0005__interesting,attrib).
arc(r_0011_0003__a_r_0011_0006__time,r_0011_0008__part,r_0011_0007__with).
arc(r_0011_0005__interesting,r_0011_0004__really,qual).
arc(r_0011_0008__part,r_0011_0010__that,r_0011_0009__of).
arc(r_0011_0013__had,r_0011_0001__We,arg0).
arc(r_0011_0013__had,r_0011_0014__one,arg1).
arc(r_0011_0014__one,r_0011_0016__the_r_0011_0017__machines,r_0011_0015__of).
arc(r_0011_0021__could,r_0011_0020__just,nim).
arc(r_0011_0021__could,r_0011_0023__get,scope).
arc(r_0011_0022__not,r_0011_0021__could,keep_scope).
arc(r_0011_0023__get,r_0011_0001__We,arg0).
arc(r_0011_0023__get,r_0011_0014__one,arg1).
arc(r_0011_0023__get,r_0011_0027__boot,prd).
arc(r_0011_0027__boot,r_0011_0028__reliably,nim).
arc(r_0011_0027__boot,z_0011_5015,arg0).


%3 r_0011_0002__had had r_0011_0001__We We r_0011_0002__had->r_0011_0001__We [arg0] r_0011_0003__a_r_0011_0006__time a time r_0011_0002__had->r_0011_0003__a_r_0011_0006__time [arg1] r_0011_0013__had had r_0011_0002__had->r_0011_0013__had [prn] r_0011_0005__interesting interesting r_0011_0003__a_r_0011_0006__time->r_0011_0005__interesting [attrib] r_0011_0008__part part r_0011_0003__a_r_0011_0006__time->r_0011_0008__part with r_0011_0013__had->r_0011_0001__We [arg0] r_0011_0014__one one r_0011_0013__had->r_0011_0014__one [arg1] r_0011_0004__really really r_0011_0005__interesting->r_0011_0004__really [qual] r_0011_0010__that that r_0011_0008__part->r_0011_0010__that of r_0011_0016__the_r_0011_0017__machines the machines r_0011_0014__one->r_0011_0016__the_r_0011_0017__machines of r_0011_0021__could_r_0011_0023__get could get r_0011_0021__could_r_0011_0023__get->r_0011_0001__We [arg0] r_0011_0021__could_r_0011_0023__get->r_0011_0014__one [arg1] r_0011_0020__just just r_0011_0021__could_r_0011_0023__get->r_0011_0020__just [nim] r_0011_0027__boot boot r_0011_0021__could_r_0011_0023__get->r_0011_0027__boot [prd] r_0011_0022__not not r_0011_0022__not->r_0011_0021__could_r_0011_0023__get [keep_scope] r_0011_0028__reliably reliably r_0011_0027__boot->r_0011_0028__reliably [nim] z_0011_5015 r_0011_0027__boot->z_0011_5015 [arg0] 
fof(formula,axiom,
    ? [R_0011_0001__WE,R_0011_0004__REALLY,R_0011_0005__INTERESTING,R_0011_0010__THAT,R_0011_0008__PART,R_0011_0003__A_R_0011_0006__TIME,R_0011_0016__THE_R_0011_0017__MACHINES,R_0011_0014__ONE,R_0011_0013__HAD,R_0011_0002__HAD] :
      ( r_0011_0001__We(R_0011_0001__WE)
      & r_0011_0004__really(R_0011_0004__REALLY)
      & r_0011_0010__that(R_0011_0010__THAT)
      & r_0011_0016__the_r_0011_0017__machines(R_0011_0016__THE_R_0011_0017__MACHINES)
      & ~ ? [R_0011_0020__JUST,R_0011_0028__RELIABLY,Z_0011_5015,R_0011_0027__BOOT,R_0011_0021__COULD_R_0011_0023__GET] :
            ( r_0011_0020__just(R_0011_0020__JUST)
            & r_0011_0028__reliably(R_0011_0028__RELIABLY)
            & z_0011_5015(Z_0011_5015)
            & r_0011_0021__could_r_0011_0023__get(R_0011_0021__COULD_R_0011_0023__GET)
            & has_prd(R_0011_0021__COULD_R_0011_0023__GET,R_0011_0027__BOOT)
            & r_0011_0027__boot(R_0011_0027__BOOT)
            & has_arg0(R_0011_0027__BOOT,Z_0011_5015)
            & has_nim(R_0011_0027__BOOT,R_0011_0028__RELIABLY)
            & has_arg1(R_0011_0021__COULD_R_0011_0023__GET,R_0011_0014__ONE)
            & has_arg0(R_0011_0021__COULD_R_0011_0023__GET,R_0011_0001__WE)
            & has_nim(R_0011_0021__COULD_R_0011_0023__GET,R_0011_0020__JUST) )
      & r_0011_0002__had(R_0011_0002__HAD)
      & has_prn(R_0011_0002__HAD,R_0011_0013__HAD)
      & r_0011_0013__had(R_0011_0013__HAD)
      & has_arg1(R_0011_0013__HAD,R_0011_0014__ONE)
      & r_0011_0014__one(R_0011_0014__ONE)
      & has_r_0011_0015__of(R_0011_0014__ONE,R_0011_0016__THE_R_0011_0017__MACHINES)
      & has_arg0(R_0011_0013__HAD,R_0011_0001__WE)
      & has_arg1(R_0011_0002__HAD,R_0011_0003__A_R_0011_0006__TIME)
      & r_0011_0003__a_r_0011_0006__time(R_0011_0003__A_R_0011_0006__TIME)
      & has_r_0011_0007__with(R_0011_0003__A_R_0011_0006__TIME,R_0011_0008__PART)
      & r_0011_0008__part(R_0011_0008__PART)
      & has_r_0011_0009__of(R_0011_0008__PART,R_0011_0010__THAT)
      & has_attrib(R_0011_0003__A_R_0011_0006__TIME,R_0011_0005__INTERESTING)
      & r_0011_0005__interesting(R_0011_0005__INTERESTING)
      & has_qual(R_0011_0005__INTERESTING,R_0011_0004__REALLY)
      & has_arg0(R_0011_0002__HAD,R_0011_0001__WE) ) ).