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.

%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_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_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 
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_0003__a_r_0011_0006__time, r_0011_0005__interesting, attrib10).
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, qual11).
arc(r_0011_0008__part, r_0011_0010__that, r_0011_0009__of).


%3 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_0003__a_r_0011_0006__time [arg1] r_0011_0001__We We r_0011_0002__had->r_0011_0001__We [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_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_0002__had(R_0011_0002__HAD)
      & 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_attrib10(R_0011_0003__A_R_0011_0006__TIME,R_0011_0005__INTERESTING)
      & r_0011_0005__interesting(R_0011_0005__INTERESTING)
      & has_qual11(R_0011_0005__INTERESTING,R_0011_0004__REALLY)
      & has_arg0(R_0011_0002__HAD,R_0011_0001__WE) ) ).


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))