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 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] 
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_4 Then n40_a_paulfellows_7 the n40_a_paulfellows_10 real n40_a_paulfellows_12 machines n40_a_paulfellows_14 *ICH*-141 n40_a_paulfellows_16 came n40_a_paulfellows_19 along n40_a_paulfellows_21 , n40_a_paulfellows_25 the n40_a_paulfellows_27 Archimedes n40_a_paulfellows_29 , n40_a_paulfellows_1 IP-MAT n40_a_paulfellows_2 ADVP-NIM n40_a_paulfellows_1->n40_a_paulfellows_2 n40_a_paulfellows_5 NP-SBJ n40_a_paulfellows_1->n40_a_paulfellows_5 n40_a_paulfellows_15 VBD;_Ip_ n40_a_paulfellows_1->n40_a_paulfellows_15 n40_a_paulfellows_17 ADVP-NIM n40_a_paulfellows_1->n40_a_paulfellows_17 n40_a_paulfellows_20 PUNC n40_a_paulfellows_1->n40_a_paulfellows_20 n40_a_paulfellows_22 IP-PPL-EPD-141 n40_a_paulfellows_1->n40_a_paulfellows_22 n40_a_paulfellows_28 PUNC n40_a_paulfellows_1->n40_a_paulfellows_28 n40_a_paulfellows_3 ADV n40_a_paulfellows_2->n40_a_paulfellows_3 n40_a_paulfellows_3->n40_a_paulfellows_4 n40_a_paulfellows_6 D n40_a_paulfellows_5->n40_a_paulfellows_6 n40_a_paulfellows_8 ADJP n40_a_paulfellows_5->n40_a_paulfellows_8 n40_a_paulfellows_11 NS n40_a_paulfellows_5->n40_a_paulfellows_11 n40_a_paulfellows_13 IP-PPL n40_a_paulfellows_5->n40_a_paulfellows_13 n40_a_paulfellows_6->n40_a_paulfellows_7 n40_a_paulfellows_9 ADJ n40_a_paulfellows_8->n40_a_paulfellows_9 n40_a_paulfellows_9->n40_a_paulfellows_10 n40_a_paulfellows_11->n40_a_paulfellows_12 n40_a_paulfellows_13->n40_a_paulfellows_14 n40_a_paulfellows_15->n40_a_paulfellows_16 n40_a_paulfellows_18 ADV n40_a_paulfellows_17->n40_a_paulfellows_18 n40_a_paulfellows_18->n40_a_paulfellows_19 n40_a_paulfellows_20->n40_a_paulfellows_21 n40_a_paulfellows_23 NP-PRD n40_a_paulfellows_22->n40_a_paulfellows_23 n40_a_paulfellows_24 D n40_a_paulfellows_23->n40_a_paulfellows_24 n40_a_paulfellows_26 NPR n40_a_paulfellows_23->n40_a_paulfellows_26 n40_a_paulfellows_24->n40_a_paulfellows_25 n40_a_paulfellows_26->n40_a_paulfellows_27 n40_a_paulfellows_28->n40_a_paulfellows_29 
( (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))