Context                Previous, Next                Top


40_a_paulfellows
Then the real machines came along, the Archimedes,

%3 r_0040_0002__the_r_0040_0004__machines the machines r_0040_0003__real real r_0040_0002__the_r_0040_0004__machines->r_0040_0003__real [attrib] r_0040_0005__came came r_0040_0005__came->r_0040_0002__the_r_0040_0004__machines [arg0] r_0040_0001__Then Then r_0040_0005__came->r_0040_0001__Then [nim] r_0040_0006__along along r_0040_0005__came->r_0040_0006__along [nim] z_000_40_a_paulfellows_22 z_000_40_a_paulfellows_22->r_0040_0002__the_r_0040_0004__machines [arg0] r_0040_0008__the_r_0040_0009__Archimedes the Archimedes z_000_40_a_paulfellows_22->r_0040_0008__the_r_0040_0009__Archimedes [prd] 
arc(r_0040_0002__the_r_0040_0004__machines, r_0040_0003__real, attrib8).
arc(r_0040_0005__came, r_0040_0001__Then, nim2).
arc(r_0040_0005__came, r_0040_0002__the_r_0040_0004__machines, arg0).
arc(r_0040_0005__came, r_0040_0006__along, nim17).
arc(z_000_40_a_paulfellows_22, r_0040_0002__the_r_0040_0004__machines, arg0).
arc(z_000_40_a_paulfellows_22, r_0040_0008__the_r_0040_0009__Archimedes, prd).


%3 z_000_40_a_paulfellows_22 r_0040_0008__the_r_0040_0009__Archimedes the Archimedes z_000_40_a_paulfellows_22->r_0040_0008__the_r_0040_0009__Archimedes [prd] r_0040_0002__the_r_0040_0004__machines the machines z_000_40_a_paulfellows_22->r_0040_0002__the_r_0040_0004__machines [arg0] r_0040_0003__real real r_0040_0002__the_r_0040_0004__machines->r_0040_0003__real [attrib] r_0040_0005__came came r_0040_0005__came->r_0040_0002__the_r_0040_0004__machines [arg0] r_0040_0006__along along r_0040_0005__came->r_0040_0006__along [nim] r_0040_0001__Then Then r_0040_0005__came->r_0040_0001__Then [nim] 
fof(formula,axiom,
    ? [R_0040_0001__THEN,R_0040_0003__REAL,R_0040_0002__THE_R_0040_0004__MACHINES,R_0040_0006__ALONG,R_0040_0005__CAME,R_0040_0008__THE_R_0040_0009__ARCHIMEDES,Z_000_40_A_PAULFELLOWS_22] :
      ( r_0040_0001__Then(R_0040_0001__THEN)
      & r_0040_0003__real(R_0040_0003__REAL)
      & r_0040_0006__along(R_0040_0006__ALONG)
      & r_0040_0008__the_r_0040_0009__Archimedes(R_0040_0008__THE_R_0040_0009__ARCHIMEDES)
      & z_000_40_a_paulfellows_22(Z_000_40_A_PAULFELLOWS_22)
      & has_prd(Z_000_40_A_PAULFELLOWS_22,R_0040_0008__THE_R_0040_0009__ARCHIMEDES)
      & has_arg0(Z_000_40_A_PAULFELLOWS_22,R_0040_0002__THE_R_0040_0004__MACHINES)
      & r_0040_0002__the_r_0040_0004__machines(R_0040_0002__THE_R_0040_0004__MACHINES)
      & has_attrib8(R_0040_0002__THE_R_0040_0004__MACHINES,R_0040_0003__REAL)
      & r_0040_0005__came(R_0040_0005__CAME)
      & has_nim17(R_0040_0005__CAME,R_0040_0006__ALONG)
      & has_arg0(R_0040_0005__CAME,R_0040_0002__THE_R_0040_0004__MACHINES)
      & has_nim2(R_0040_0005__CAME,R_0040_0001__THEN) ) ).


n40_a_paulfellows n40_a_paulfellows__1_1_1_1 Then n40_a_paulfellows__1_2_1_1 the n40_a_paulfellows__1_2_2_1_1 real n40_a_paulfellows__1_2_3_1 machines n40_a_paulfellows__1_2_4_1 *ICH*-141 n40_a_paulfellows__1_3_1 came n40_a_paulfellows__1_4_1_1 along n40_a_paulfellows__1_5_1 , n40_a_paulfellows__1_6_1_1_1 the n40_a_paulfellows__1_6_1_2_1 Archimedes n40_a_paulfellows__1_7_1 , n40_a_paulfellows__1 IP-MAT n40_a_paulfellows__1_1 ADVP-NIM n40_a_paulfellows__1->n40_a_paulfellows__1_1 n40_a_paulfellows__1_2 NP-SBJ n40_a_paulfellows__1->n40_a_paulfellows__1_2 n40_a_paulfellows__1_3 VBD;_Ip_ n40_a_paulfellows__1->n40_a_paulfellows__1_3 n40_a_paulfellows__1_4 ADVP-NIM n40_a_paulfellows__1->n40_a_paulfellows__1_4 n40_a_paulfellows__1_5 PUNC n40_a_paulfellows__1->n40_a_paulfellows__1_5 n40_a_paulfellows__1_6 IP-PPL-EPD-141 n40_a_paulfellows__1->n40_a_paulfellows__1_6 n40_a_paulfellows__1_7 PUNC n40_a_paulfellows__1->n40_a_paulfellows__1_7 n40_a_paulfellows__1_1_1 ADV n40_a_paulfellows__1_1->n40_a_paulfellows__1_1_1 n40_a_paulfellows__1_1_1->n40_a_paulfellows__1_1_1_1 n40_a_paulfellows__1_2_1 D n40_a_paulfellows__1_2->n40_a_paulfellows__1_2_1 n40_a_paulfellows__1_2_2 ADJP n40_a_paulfellows__1_2->n40_a_paulfellows__1_2_2 n40_a_paulfellows__1_2_3 NS n40_a_paulfellows__1_2->n40_a_paulfellows__1_2_3 n40_a_paulfellows__1_2_4 IP-PPL n40_a_paulfellows__1_2->n40_a_paulfellows__1_2_4 n40_a_paulfellows__1_2_1->n40_a_paulfellows__1_2_1_1 n40_a_paulfellows__1_2_2_1 ADJ n40_a_paulfellows__1_2_2->n40_a_paulfellows__1_2_2_1 n40_a_paulfellows__1_2_2_1->n40_a_paulfellows__1_2_2_1_1 n40_a_paulfellows__1_2_3->n40_a_paulfellows__1_2_3_1 n40_a_paulfellows__1_2_4->n40_a_paulfellows__1_2_4_1 n40_a_paulfellows__1_3->n40_a_paulfellows__1_3_1 n40_a_paulfellows__1_4_1 ADV n40_a_paulfellows__1_4->n40_a_paulfellows__1_4_1 n40_a_paulfellows__1_4_1->n40_a_paulfellows__1_4_1_1 n40_a_paulfellows__1_5->n40_a_paulfellows__1_5_1 n40_a_paulfellows__1_6_1 NP-PRD n40_a_paulfellows__1_6->n40_a_paulfellows__1_6_1 n40_a_paulfellows__1_6_1_1 D n40_a_paulfellows__1_6_1->n40_a_paulfellows__1_6_1_1 n40_a_paulfellows__1_6_1_2 NPR n40_a_paulfellows__1_6_1->n40_a_paulfellows__1_6_1_2 n40_a_paulfellows__1_6_1_1->n40_a_paulfellows__1_6_1_1_1 n40_a_paulfellows__1_6_1_2->n40_a_paulfellows__1_6_1_2_1 n40_a_paulfellows__1_7->n40_a_paulfellows__1_7_1 
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ real;{real}))
                  (NS machines;{machine})
                  (IP-PPL *ICH*-141))
          (VBD;_Ip_ came;{come})
          (ADVP-NIM (ADV along;{along}))
          (PUNC ,)
          (IP-PPL-EPD-141 (NP-PRD (D the;{the})
                                  (NPR Archimedes;{Archimedes})))
          (PUNC ,))
  (ID 40_a_paulfellows))