Context                Previous, Next                Top


61_a_paulfellows
By that stage we were here, Arthur 1.something that fired up and looked like that.

%3 r_0061_0005__were were r_0061_0002__that_r_0061_0003__stage that stage r_0061_0005__were->r_0061_0002__that_r_0061_0003__stage By [nim] r_0061_0004__we we r_0061_0005__were->r_0061_0004__we [arg0] r_0061_0006__here here r_0061_0005__were->r_0061_0006__here [clr] 
arc(r_0061_0005__were, r_0061_0002__that_r_0061_0003__stage, r_0061_0001__By_nim5).
arc(r_0061_0005__were, r_0061_0004__we, arg0).
arc(r_0061_0005__were, r_0061_0006__here, clr15).


%3 r_0061_0005__were were r_0061_0006__here here r_0061_0005__were->r_0061_0006__here [clr] r_0061_0004__we we r_0061_0005__were->r_0061_0004__we [arg0] r_0061_0002__that_r_0061_0003__stage that stage r_0061_0005__were->r_0061_0002__that_r_0061_0003__stage By [nim] 
fof(formula,axiom,
    ? [R_0061_0002__THAT_R_0061_0003__STAGE,R_0061_0004__WE,R_0061_0006__HERE,R_0061_0005__WERE] :
      ( r_0061_0002__that_r_0061_0003__stage(R_0061_0002__THAT_R_0061_0003__STAGE)
      & r_0061_0004__we(R_0061_0004__WE)
      & r_0061_0006__here(R_0061_0006__HERE)
      & r_0061_0005__were(R_0061_0005__WERE)
      & has_clr15(R_0061_0005__WERE,R_0061_0006__HERE)
      & has_arg0(R_0061_0005__WERE,R_0061_0004__WE)
      & has_r_0061_0001__By_nim5(R_0061_0005__WERE,R_0061_0002__THAT_R_0061_0003__STAGE) ) ).


n61_a_paulfellows n61_a_paulfellows__1_1_1_1 By n61_a_paulfellows__1_1_2_1_1 that n61_a_paulfellows__1_1_2_2_1 stage n61_a_paulfellows__1_2_1_1 we n61_a_paulfellows__1_3_1 were n61_a_paulfellows__1_4_1_1 here n61_a_paulfellows__1_4_2_1 , n61_a_paulfellows__1_4_3_1_1_1 Arthur n61_a_paulfellows__1_4_3_1_2_1 1.something n61_a_paulfellows__1_4_3_1_3_1_1 that n61_a_paulfellows__1_4_3_1_3_2_1 *T* n61_a_paulfellows__1_4_3_1_3_3_1_1_1 fired n61_a_paulfellows__1_4_3_1_3_3_1_2_1_1 up n61_a_paulfellows__1_4_3_1_3_3_2_1_1 and n61_a_paulfellows__1_4_3_1_3_3_2_2_1_1 looked n61_a_paulfellows__1_4_3_1_3_3_2_2_2_1_1 like n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2_1_1 that n61_a_paulfellows__1_5_1 . n61_a_paulfellows__1 IP-MAT n61_a_paulfellows__1_1 PP-NIM n61_a_paulfellows__1->n61_a_paulfellows__1_1 n61_a_paulfellows__1_2 NP-SBJ n61_a_paulfellows__1->n61_a_paulfellows__1_2 n61_a_paulfellows__1_3 BED;_Ip_ n61_a_paulfellows__1->n61_a_paulfellows__1_3 n61_a_paulfellows__1_4 ADVP-CLR n61_a_paulfellows__1->n61_a_paulfellows__1_4 n61_a_paulfellows__1_5 PUNC n61_a_paulfellows__1->n61_a_paulfellows__1_5 n61_a_paulfellows__1_1_1 P-ROLE n61_a_paulfellows__1_1->n61_a_paulfellows__1_1_1 n61_a_paulfellows__1_1_2 NP n61_a_paulfellows__1_1->n61_a_paulfellows__1_1_2 n61_a_paulfellows__1_1_1->n61_a_paulfellows__1_1_1_1 n61_a_paulfellows__1_1_2_1 D n61_a_paulfellows__1_1_2->n61_a_paulfellows__1_1_2_1 n61_a_paulfellows__1_1_2_2 N n61_a_paulfellows__1_1_2->n61_a_paulfellows__1_1_2_2 n61_a_paulfellows__1_1_2_1->n61_a_paulfellows__1_1_2_1_1 n61_a_paulfellows__1_1_2_2->n61_a_paulfellows__1_1_2_2_1 n61_a_paulfellows__1_2_1 PRO n61_a_paulfellows__1_2->n61_a_paulfellows__1_2_1 n61_a_paulfellows__1_2_1->n61_a_paulfellows__1_2_1_1 n61_a_paulfellows__1_3->n61_a_paulfellows__1_3_1 n61_a_paulfellows__1_4_1 ADV n61_a_paulfellows__1_4->n61_a_paulfellows__1_4_1 n61_a_paulfellows__1_4_2 PUNC n61_a_paulfellows__1_4->n61_a_paulfellows__1_4_2 n61_a_paulfellows__1_4_3 PRN n61_a_paulfellows__1_4->n61_a_paulfellows__1_4_3 n61_a_paulfellows__1_4_1->n61_a_paulfellows__1_4_1_1 n61_a_paulfellows__1_4_2->n61_a_paulfellows__1_4_2_1 n61_a_paulfellows__1_4_3_1 NP n61_a_paulfellows__1_4_3->n61_a_paulfellows__1_4_3_1 n61_a_paulfellows__1_4_3_1_1 NPR n61_a_paulfellows__1_4_3_1->n61_a_paulfellows__1_4_3_1_1 n61_a_paulfellows__1_4_3_1_2 NUM n61_a_paulfellows__1_4_3_1->n61_a_paulfellows__1_4_3_1_2 n61_a_paulfellows__1_4_3_1_3 IP-REL n61_a_paulfellows__1_4_3_1->n61_a_paulfellows__1_4_3_1_3 n61_a_paulfellows__1_4_3_1_1->n61_a_paulfellows__1_4_3_1_1_1 n61_a_paulfellows__1_4_3_1_2->n61_a_paulfellows__1_4_3_1_2_1 n61_a_paulfellows__1_4_3_1_3_1 C n61_a_paulfellows__1_4_3_1_3->n61_a_paulfellows__1_4_3_1_3_1 n61_a_paulfellows__1_4_3_1_3_2 NP-SBJ n61_a_paulfellows__1_4_3_1_3->n61_a_paulfellows__1_4_3_1_3_2 n61_a_paulfellows__1_4_3_1_3_3 ILYR n61_a_paulfellows__1_4_3_1_3->n61_a_paulfellows__1_4_3_1_3_3 n61_a_paulfellows__1_4_3_1_3_1->n61_a_paulfellows__1_4_3_1_3_1_1 n61_a_paulfellows__1_4_3_1_3_2->n61_a_paulfellows__1_4_3_1_3_2_1 n61_a_paulfellows__1_4_3_1_3_3_1 ILYR n61_a_paulfellows__1_4_3_1_3_3->n61_a_paulfellows__1_4_3_1_3_3_1 n61_a_paulfellows__1_4_3_1_3_3_2 CONJP n61_a_paulfellows__1_4_3_1_3_3->n61_a_paulfellows__1_4_3_1_3_3_2 n61_a_paulfellows__1_4_3_1_3_3_1_1 VBD;__ n61_a_paulfellows__1_4_3_1_3_3_1->n61_a_paulfellows__1_4_3_1_3_3_1_1 n61_a_paulfellows__1_4_3_1_3_3_1_2 ADVP-NIM n61_a_paulfellows__1_4_3_1_3_3_1->n61_a_paulfellows__1_4_3_1_3_3_1_2 n61_a_paulfellows__1_4_3_1_3_3_1_1->n61_a_paulfellows__1_4_3_1_3_3_1_1_1 n61_a_paulfellows__1_4_3_1_3_3_1_2_1 RP n61_a_paulfellows__1_4_3_1_3_3_1_2->n61_a_paulfellows__1_4_3_1_3_3_1_2_1 n61_a_paulfellows__1_4_3_1_3_3_1_2_1->n61_a_paulfellows__1_4_3_1_3_3_1_2_1_1 n61_a_paulfellows__1_4_3_1_3_3_2_1 CONJ n61_a_paulfellows__1_4_3_1_3_3_2->n61_a_paulfellows__1_4_3_1_3_3_2_1 n61_a_paulfellows__1_4_3_1_3_3_2_2 ILYR n61_a_paulfellows__1_4_3_1_3_3_2->n61_a_paulfellows__1_4_3_1_3_3_2_2 n61_a_paulfellows__1_4_3_1_3_3_2_1->n61_a_paulfellows__1_4_3_1_3_3_2_1_1 n61_a_paulfellows__1_4_3_1_3_3_2_2_1 VBD;_Ipr_ n61_a_paulfellows__1_4_3_1_3_3_2_2->n61_a_paulfellows__1_4_3_1_3_3_2_2_1 n61_a_paulfellows__1_4_3_1_3_3_2_2_2 PP-CLR n61_a_paulfellows__1_4_3_1_3_3_2_2->n61_a_paulfellows__1_4_3_1_3_3_2_2_2 n61_a_paulfellows__1_4_3_1_3_3_2_2_1->n61_a_paulfellows__1_4_3_1_3_3_2_2_1_1 n61_a_paulfellows__1_4_3_1_3_3_2_2_2_1 P-ROLE n61_a_paulfellows__1_4_3_1_3_3_2_2_2->n61_a_paulfellows__1_4_3_1_3_3_2_2_2_1 n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2 NP n61_a_paulfellows__1_4_3_1_3_3_2_2_2->n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2 n61_a_paulfellows__1_4_3_1_3_3_2_2_2_1->n61_a_paulfellows__1_4_3_1_3_3_2_2_2_1_1 n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2_1 D;_nphd_ n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2->n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2_1 n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2_1->n61_a_paulfellows__1_4_3_1_3_3_2_2_2_2_1_1 n61_a_paulfellows__1_5->n61_a_paulfellows__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (D that;{that})
                      (N stage;{stage})))
          (NP-SBJ (PRO we;{we}))
          (BED;_Ip_ were;{be[here]})
          (ADVP-CLR (ADV here;{here})
                    (PUNC ,)
                    (PRN (NP (NPR Arthur;{Arthur})
                             (NUM 1<dot>something)
                             (IP-REL (C that;{that})
                                     (NP-SBJ *T*)
                                     (ILYR (ILYR (VBD;__ fired;{fire})
                                                 (ADVP-NIM (RP up;{up})))
                                           (CONJP (CONJ and;{and})
                                                  (ILYR (VBD;_Ipr_ looked;{look[like]})
                                                        (PP-CLR (P-ROLE like;{like})
                                                                (NP (D;_nphd_ that;{that}))))))))))
          (PUNC .))
  (ID 61_a_paulfellows))