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_40_5_CAME,R_40_6_ALONG,R_40_1_THEN,Z_40_A_PAULFELLOWS_22,R_40_2_THE_MACHINES,R_40_3_REAL,R_40_8_THE_ARCHIMEDES] :
      ( along(R_40_6_ALONG)
      & then(R_40_1_THEN)
      & real(R_40_3_REAL)
      & the_Archimedes(R_40_8_THE_ARCHIMEDES)
      & came(R_40_5_CAME,R_40_2_THE_MACHINES)
      & the_machines(R_40_2_THE_MACHINES)
      & attrib8(R_40_2_THE_MACHINES,R_40_3_REAL)
      & nim17(R_40_5_CAME,R_40_6_ALONG)
      & nim2(R_40_5_CAME,R_40_1_THEN)
      & z_40_a_paulfellows_22(Z_40_A_PAULFELLOWS_22,R_40_2_THE_MACHINES,R_40_8_THE_ARCHIMEDES) ) ).


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