TSPC 47_a_hardy

47_a_hardy_1883
And so the dance whizzed on with cumulative fury, the performers moving in their planet-like courses, direct and retrograde, from apogee to perigee, till the hand of the well-kicked clock at the bottom of the room had travelled over the circumference of an hour.

( (IP-MAT (CONJ;_cl_ And;{and})
          (ADVP-NIM (ADV so;{so}))
          (NP-SBJ (D the;{the})
                  (N dance;{dance}))
          (VBD;__ whizzed;{whiz})
          (RP on;{on})
          (PP-NIM (P-ROLE with;{with})
                  (NP (ADJP (ADJ cumulative;{cumulative}))
                      (N fury;{fury})))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ;{FIDDLER+SERPENT_PLAYER} (D the;{the})
                                                             (NS performers;{performer}))
                            (VAG;__ moving;{move})
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (NP-GEN (PRO;_genm_ their;{their}))
                                        (ADJP (ADJ planet_<hyphen>_like;{planet_like}))
                                        (NS courses;{course})
                                        (PUNC ,)
                                        (ADJP (AJLYR (AJLYR (ADJ direct;{direct}))
                                                     (CONJP (CONJ and;{and})
                                                            (AJLYR (ADJ retrograde;{retrograde})))))
                                        (PUNC ,)
                                        (PP (P-ROLE from;{from})
                                            (NP (N apogee;{apogee})))
                                        (PP (P-ROLE to;{to})
                                            (NP (N perigee;{perigee})))))
                            (PUNC ,)
                            (PP-SCON (P-CONN till;{till})
                                     (IP-ADV (NP-SBJ (D the;{the})
                                                     (N hand;{hand})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (D the;{the})
                                                             (ADJP (ADJ well_<hyphen>_kicked;{well_kicked}))
                                                             (N clock;{clock})
                                                             (PP (P-ROLE at;{at})
                                                                 (NP (D the;{the})
                                                                     (N bottom;{bottom})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (D the;{the})
                                                                             (N room;{room}))))))))
                                             (HVD;_cat_Ve_ had;{have})
                                             (IP-PPL-CAT (VVN;__ travelled;{travel})
                                                         (RP over;{over})
                                                         (NP-OB1 (D the;{the})
                                                                 (N circumference;{circumference})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (D an;{an})
                                                                         (N hour;{hour})))))))))
          (PUNC .))
  (ID 47_a_hardy_1883))

arc(r_0047_0005__whizzed_r_0047_0006__on,r_0047_0002__so,nim).
arc(r_0047_0005__whizzed_r_0047_0006__on,r_0047_0003__the_r_0047_0004__dance,arg0).
arc(r_0047_0005__whizzed_r_0047_0006__on,r_0047_0009__fury,r_0047_0007__with__nim).
arc(r_0047_0009__fury,r_0047_0008__cumulative,attrib).
arc(r_0047_0013__moving,r_0047_0011__the_r_0047_0012__performers,arg0).
arc(r_0047_0013__moving,r_0047_0017__courses,r_0047_0014__in__nim).
arc(r_0047_0017__courses,r_0047_0015__their,gen).
arc(r_0047_0017__courses,r_0047_0016__planet__hyphen__like,attrib).
arc(r_0047_0017__courses,r_0047_0020__and,attrib).
arc(r_0047_0017__courses,r_0047_0024__apogee,r_0047_0023__from).
arc(r_0047_0017__courses,r_0047_0026__perigee,r_0047_0025__to).
arc(r_0047_0020__and,r_0047_0019__direct,conj1).
arc(r_0047_0020__and,r_0047_0021__retrograde,conj2).
arc(r_0047_0028__till,r_0047_0013__moving,scope).
arc(r_0047_0028__till,r_0047_0041__had,restriction).
arc(r_0047_0029__the_r_0047_0030__hand,r_0047_0032__the_r_0047_0034__clock,r_0047_0031__of).
arc(r_0047_0032__the_r_0047_0034__clock,r_0047_0033__well__hyphen__kicked,attrib).
arc(r_0047_0032__the_r_0047_0034__clock,r_0047_0036__the_r_0047_0037__bottom,r_0047_0035__at).
arc(r_0047_0036__the_r_0047_0037__bottom,r_0047_0039__the_r_0047_0040__room,r_0047_0038__of).
arc(r_0047_0041__had,r_0047_0042__travelled_r_0047_0043__over,scope).
arc(r_0047_0042__travelled_r_0047_0043__over,r_0047_0029__the_r_0047_0030__hand,arg0).
arc(r_0047_0042__travelled_r_0047_0043__over,r_0047_0044__the_r_0047_0045__circumference,arg1).
arc(r_0047_0044__the_r_0047_0045__circumference,r_0047_0047__an_r_0047_0048__hour,r_0047_0046__of).
arc(z_0047_5003,r_0047_0005__whizzed_r_0047_0006__on,scope).
arc(z_0047_5003,r_0047_0028__till,restriction).

fof(formula,axiom,
    ? [R_0047_0002__SO,R_0047_0003__THE_R_0047_0004__DANCE,R_0047_0008__CUMULATIVE,R_0047_0009__FURY,R_0047_0005__WHIZZED_R_0047_0006__ON,R_0047_0011__THE_R_0047_0012__PERFORMERS,R_0047_0015__THEIR,R_0047_0016__PLANET__HYPHEN__LIKE,R_0047_0019__DIRECT,R_0047_0021__RETROGRADE,R_0047_0020__AND,R_0047_0024__APOGEE,R_0047_0026__PERIGEE,R_0047_0017__COURSES,R_0047_0013__MOVING,R_0047_0033__WELL__HYPHEN__KICKED,R_0047_0039__THE_R_0047_0040__ROOM,R_0047_0036__THE_R_0047_0037__BOTTOM,R_0047_0032__THE_R_0047_0034__CLOCK,R_0047_0029__THE_R_0047_0030__HAND,R_0047_0047__AN_R_0047_0048__HOUR,R_0047_0044__THE_R_0047_0045__CIRCUMFERENCE,R_0047_0041__HAD_R_0047_0042__TRAVELLED_R_0047_0043__OVER,R_0047_0028__TILL,Z_0047_5003] :
      ( r_0047_0002__so(R_0047_0002__SO)
      & r_0047_0003__the_r_0047_0004__dance(R_0047_0003__THE_R_0047_0004__DANCE)
      & r_0047_0008__cumulative(R_0047_0008__CUMULATIVE)
      & r_0047_0011__the_r_0047_0012__performers(R_0047_0011__THE_R_0047_0012__PERFORMERS)
      & r_0047_0015__their(R_0047_0015__THEIR)
      & r_0047_0016__planet__hyphen__like(R_0047_0016__PLANET__HYPHEN__LIKE)
      & r_0047_0019__direct(R_0047_0019__DIRECT)
      & r_0047_0021__retrograde(R_0047_0021__RETROGRADE)
      & r_0047_0024__apogee(R_0047_0024__APOGEE)
      & r_0047_0026__perigee(R_0047_0026__PERIGEE)
      & r_0047_0033__well__hyphen__kicked(R_0047_0033__WELL__HYPHEN__KICKED)
      & r_0047_0039__the_r_0047_0040__room(R_0047_0039__THE_R_0047_0040__ROOM)
      & r_0047_0047__an_r_0047_0048__hour(R_0047_0047__AN_R_0047_0048__HOUR)
      & z_0047_5003(Z_0047_5003)
      & has_conj1(Z_0047_5003,R_0047_0028__TILL)
      & r_0047_0028__till(R_0047_0028__TILL)
      & has_conj1(R_0047_0028__TILL,R_0047_0041__HAD_R_0047_0042__TRAVELLED_R_0047_0043__OVER)
      & r_0047_0041__had_r_0047_0042__travelled_r_0047_0043__over(R_0047_0041__HAD_R_0047_0042__TRAVELLED_R_0047_0043__OVER)
      & has_arg1(R_0047_0041__HAD_R_0047_0042__TRAVELLED_R_0047_0043__OVER,R_0047_0044__THE_R_0047_0045__CIRCUMFERENCE)
      & r_0047_0044__the_r_0047_0045__circumference(R_0047_0044__THE_R_0047_0045__CIRCUMFERENCE)
      & has_r_0047_0046__of(R_0047_0044__THE_R_0047_0045__CIRCUMFERENCE,R_0047_0047__AN_R_0047_0048__HOUR)
      & has_arg0(R_0047_0041__HAD_R_0047_0042__TRAVELLED_R_0047_0043__OVER,R_0047_0029__THE_R_0047_0030__HAND)
      & r_0047_0029__the_r_0047_0030__hand(R_0047_0029__THE_R_0047_0030__HAND)
      & has_r_0047_0031__of(R_0047_0029__THE_R_0047_0030__HAND,R_0047_0032__THE_R_0047_0034__CLOCK)
      & r_0047_0032__the_r_0047_0034__clock(R_0047_0032__THE_R_0047_0034__CLOCK)
      & has_r_0047_0035__at(R_0047_0032__THE_R_0047_0034__CLOCK,R_0047_0036__THE_R_0047_0037__BOTTOM)
      & r_0047_0036__the_r_0047_0037__bottom(R_0047_0036__THE_R_0047_0037__BOTTOM)
      & has_r_0047_0038__of(R_0047_0036__THE_R_0047_0037__BOTTOM,R_0047_0039__THE_R_0047_0040__ROOM)
      & has_attrib(R_0047_0032__THE_R_0047_0034__CLOCK,R_0047_0033__WELL__HYPHEN__KICKED)
      & has_conj2(R_0047_0028__TILL,R_0047_0013__MOVING)
      & r_0047_0013__moving(R_0047_0013__MOVING)
      & has_r_0047_0014__in__nim(R_0047_0013__MOVING,R_0047_0017__COURSES)
      & r_0047_0017__courses(R_0047_0017__COURSES)
      & has_r_0047_0025__to(R_0047_0017__COURSES,R_0047_0026__PERIGEE)
      & has_r_0047_0023__from(R_0047_0017__COURSES,R_0047_0024__APOGEE)
      & has_attrib(R_0047_0017__COURSES,R_0047_0020__AND)
      & r_0047_0020__and(R_0047_0020__AND)
      & has_conj2(R_0047_0020__AND,R_0047_0021__RETROGRADE)
      & has_conj1(R_0047_0020__AND,R_0047_0019__DIRECT)
      & has_attrib(R_0047_0017__COURSES,R_0047_0016__PLANET__HYPHEN__LIKE)
      & has_gen(R_0047_0017__COURSES,R_0047_0015__THEIR)
      & has_arg0(R_0047_0013__MOVING,R_0047_0011__THE_R_0047_0012__PERFORMERS)
      & has_conj2(Z_0047_5003,R_0047_0005__WHIZZED_R_0047_0006__ON)
      & r_0047_0005__whizzed_r_0047_0006__on(R_0047_0005__WHIZZED_R_0047_0006__ON)
      & has_r_0047_0007__with__nim(R_0047_0005__WHIZZED_R_0047_0006__ON,R_0047_0009__FURY)
      & r_0047_0009__fury(R_0047_0009__FURY)
      & has_attrib(R_0047_0009__FURY,R_0047_0008__CUMULATIVE)
      & has_arg0(R_0047_0005__WHIZZED_R_0047_0006__ON,R_0047_0003__THE_R_0047_0004__DANCE)
      & has_nim(R_0047_0005__WHIZZED_R_0047_0006__ON,R_0047_0002__SO) ) ).