TSPC 40_a_paulfellows

40_a_paulfellows
Then the real machines came along, the Archimedes, they changed one important thing, the keyboard.

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ real;{real}))
                  (NS machines;{machine})
                  (PRN *ICH*-141))
          (VBD;__ came;{come})
          (ADVP-NIM (ADV along;{along}))
          (PUNC ,)
          (PRN-EPD-141 (NP (D the;{the})
                           (NPR Archimedes;{Archimedes})))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO they;{they}))
                       (VBD;__ changed;{change})
                       (NP-OB1 (NUM one;{one})
                               (ADJP (ADJ important;{important}))
                               (N thing;{thing})
                               (PUNC ,)
                               (PRN (NP (D the;{the})
                                        (N keyboard;{keyboard}))))))
          (PUNC .))
  (ID 40_a_paulfellows))

arc(r_0040_0002__the_r_0040_0004__machines,r_0040_0003__real,attrib).
arc(r_0040_0005__came,r_0040_0001__Then,nim).
arc(r_0040_0005__came,r_0040_0002__the_r_0040_0004__machines,arg0).
arc(r_0040_0005__came,r_0040_0006__along,nim).
arc(r_0040_0005__came,r_0040_0012__changed,prn).
arc(r_0040_0012__changed,r_0040_0011__they,arg0).
arc(r_0040_0012__changed,r_0040_0013__one_r_0040_0015__thing,arg1).
arc(r_0040_0013__one_r_0040_0015__thing,r_0040_0014__important,attrib).
arc(z_0040_5004,r_0040_0002__the_r_0040_0004__machines,arg0).
arc(z_0040_5004,r_0040_0008__the_r_0040_0009__Archimedes,prd).
arc(z_0040_5010,r_0040_0013__one_r_0040_0015__thing,arg0).
arc(z_0040_5010,r_0040_0017__the_r_0040_0018__keyboard,prd).

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_0011__THEY,R_0040_0014__IMPORTANT,R_0040_0013__ONE_R_0040_0015__THING,R_0040_0012__CHANGED,R_0040_0005__CAME,R_0040_0008__THE_R_0040_0009__ARCHIMEDES,Z_0040_5004,R_0040_0017__THE_R_0040_0018__KEYBOARD,Z_0040_5010] :
      ( 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)
      & r_0040_0011__they(R_0040_0011__THEY)
      & r_0040_0014__important(R_0040_0014__IMPORTANT)
      & r_0040_0017__the_r_0040_0018__keyboard(R_0040_0017__THE_R_0040_0018__KEYBOARD)
      & z_0040_5010(Z_0040_5010)
      & has_prd(Z_0040_5010,R_0040_0017__THE_R_0040_0018__KEYBOARD)
      & has_arg0(Z_0040_5010,R_0040_0013__ONE_R_0040_0015__THING)
      & r_0040_0013__one_r_0040_0015__thing(R_0040_0013__ONE_R_0040_0015__THING)
      & has_attrib(R_0040_0013__ONE_R_0040_0015__THING,R_0040_0014__IMPORTANT)
      & z_0040_5004(Z_0040_5004)
      & has_prd(Z_0040_5004,R_0040_0008__THE_R_0040_0009__ARCHIMEDES)
      & has_arg0(Z_0040_5004,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_attrib(R_0040_0002__THE_R_0040_0004__MACHINES,R_0040_0003__REAL)
      & r_0040_0005__came(R_0040_0005__CAME)
      & has_prn(R_0040_0005__CAME,R_0040_0012__CHANGED)
      & r_0040_0012__changed(R_0040_0012__CHANGED)
      & has_arg1(R_0040_0012__CHANGED,R_0040_0013__ONE_R_0040_0015__THING)
      & has_arg0(R_0040_0012__CHANGED,R_0040_0011__THEY)
      & has_nim(R_0040_0005__CAME,R_0040_0006__ALONG)
      & has_arg0(R_0040_0005__CAME,R_0040_0002__THE_R_0040_0004__MACHINES)
      & has_nim(R_0040_0005__CAME,R_0040_0001__THEN) ) ).