TSPC 48_a_hardy

48_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.

arc(r_0048_0001__And_r_0048_0005__whizzed_r_0048_0006__on, r_0048_0002__so, nim4).
arc(r_0048_0001__And_r_0048_0005__whizzed_r_0048_0006__on, r_0048_0003__the_r_0048_0004__dance, arg0).
arc(r_0048_0001__And_r_0048_0005__whizzed_r_0048_0006__on, r_0048_0009__fury, r_0048_0007__with_nim19).
arc(r_0048_0009__fury, r_0048_0008__cumulative, attrib20).
arc(r_0048_0013__moving, r_0048_0011__the_r_0048_0012__performers, arg0).
arc(r_0048_0013__moving, r_0048_0017__courses, r_0048_0014__in_nim39).
arc(r_0048_0017__courses, r_0048_0009__fury, gen).
arc(r_0048_0017__courses, r_0048_0016__planet__hyphen__like, attrib43).
arc(r_0048_0017__courses, r_0048_0020__and, attrib50).
arc(r_0048_0017__courses, r_0048_0024__apogee, r_0048_0023__from).
arc(r_0048_0017__courses, r_0048_0026__perigee, r_0048_0025__to).
arc(r_0048_0020__and, r_0048_0019__direct, conj1).
arc(r_0048_0020__and, r_0048_0021__retrograde, conj2).
arc(r_0048_0028__till, r_0048_0013__moving, scope).
arc(r_0048_0028__till, r_0048_0041__had, restriction).
arc(r_0048_0029__the_r_0048_0030__hand, r_0048_0032__the_r_0048_0034__clock, r_0048_0031__of).
arc(r_0048_0032__the_r_0048_0034__clock, r_0048_0033__well__hyphen__kicked, attrib92).
arc(r_0048_0032__the_r_0048_0034__clock, r_0048_0036__the_r_0048_0037__bottom, r_0048_0035__at).
arc(r_0048_0036__the_r_0048_0037__bottom, r_0048_0039__the_r_0048_0040__room, r_0048_0038__of).
arc(r_0048_0041__had, r_0048_0042__travelled_r_0048_0043__over, scope).
arc(r_0048_0042__travelled_r_0048_0043__over, r_0048_0029__the_r_0048_0030__hand, arg0).
arc(r_0048_0042__travelled_r_0048_0043__over, r_0048_0044__the_r_0048_0045__circumference, arg1).
arc(r_0048_0044__the_r_0048_0045__circumference, r_0048_0047__an_r_0048_0048__hour, r_0048_0046__of).
arc(z_000_48_a_hardy_1883_27, r_0048_0001__And_r_0048_0005__whizzed_r_0048_0006__on, scope).
arc(z_000_48_a_hardy_1883_27, r_0048_0028__till, restriction).

fof(formula,axiom,
    ? [R_0048_0002__SO,R_0048_0003__THE_R_0048_0004__DANCE,R_0048_0008__CUMULATIVE,R_0048_0009__FURY,R_0048_0001__AND_R_0048_0005__WHIZZED_R_0048_0006__ON,R_0048_0011__THE_R_0048_0012__PERFORMERS,R_0048_0016__PLANET__HYPHEN__LIKE,R_0048_0019__DIRECT,R_0048_0021__RETROGRADE,R_0048_0020__AND,R_0048_0024__APOGEE,R_0048_0026__PERIGEE,R_0048_0017__COURSES,R_0048_0013__MOVING,R_0048_0033__WELL__HYPHEN__KICKED,R_0048_0039__THE_R_0048_0040__ROOM,R_0048_0036__THE_R_0048_0037__BOTTOM,R_0048_0032__THE_R_0048_0034__CLOCK,R_0048_0029__THE_R_0048_0030__HAND,R_0048_0047__AN_R_0048_0048__HOUR,R_0048_0044__THE_R_0048_0045__CIRCUMFERENCE,R_0048_0041__HAD_R_0048_0042__TRAVELLED_R_0048_0043__OVER,R_0048_0028__TILL,Z_000_48_A_HARDY_1883_27] :
      ( r_0048_0002__so(R_0048_0002__SO)
      & r_0048_0003__the_r_0048_0004__dance(R_0048_0003__THE_R_0048_0004__DANCE)
      & r_0048_0008__cumulative(R_0048_0008__CUMULATIVE)
      & r_0048_0011__the_r_0048_0012__performers(R_0048_0011__THE_R_0048_0012__PERFORMERS)
      & r_0048_0016__planet__hyphen__like(R_0048_0016__PLANET__HYPHEN__LIKE)
      & r_0048_0019__direct(R_0048_0019__DIRECT)
      & r_0048_0021__retrograde(R_0048_0021__RETROGRADE)
      & r_0048_0024__apogee(R_0048_0024__APOGEE)
      & r_0048_0026__perigee(R_0048_0026__PERIGEE)
      & r_0048_0033__well__hyphen__kicked(R_0048_0033__WELL__HYPHEN__KICKED)
      & r_0048_0039__the_r_0048_0040__room(R_0048_0039__THE_R_0048_0040__ROOM)
      & r_0048_0047__an_r_0048_0048__hour(R_0048_0047__AN_R_0048_0048__HOUR)
      & z_000_48_a_hardy_1883_27(Z_000_48_A_HARDY_1883_27)
      & has_conj1(Z_000_48_A_HARDY_1883_27,R_0048_0028__TILL)
      & r_0048_0028__till(R_0048_0028__TILL)
      & has_conj1(R_0048_0028__TILL,R_0048_0041__HAD_R_0048_0042__TRAVELLED_R_0048_0043__OVER)
      & r_0048_0041__had_r_0048_0042__travelled_r_0048_0043__over(R_0048_0041__HAD_R_0048_0042__TRAVELLED_R_0048_0043__OVER)
      & has_arg1(R_0048_0041__HAD_R_0048_0042__TRAVELLED_R_0048_0043__OVER,R_0048_0044__THE_R_0048_0045__CIRCUMFERENCE)
      & r_0048_0044__the_r_0048_0045__circumference(R_0048_0044__THE_R_0048_0045__CIRCUMFERENCE)
      & has_r_0048_0046__of(R_0048_0044__THE_R_0048_0045__CIRCUMFERENCE,R_0048_0047__AN_R_0048_0048__HOUR)
      & has_arg0(R_0048_0041__HAD_R_0048_0042__TRAVELLED_R_0048_0043__OVER,R_0048_0029__THE_R_0048_0030__HAND)
      & r_0048_0029__the_r_0048_0030__hand(R_0048_0029__THE_R_0048_0030__HAND)
      & has_r_0048_0031__of(R_0048_0029__THE_R_0048_0030__HAND,R_0048_0032__THE_R_0048_0034__CLOCK)
      & r_0048_0032__the_r_0048_0034__clock(R_0048_0032__THE_R_0048_0034__CLOCK)
      & has_r_0048_0035__at(R_0048_0032__THE_R_0048_0034__CLOCK,R_0048_0036__THE_R_0048_0037__BOTTOM)
      & r_0048_0036__the_r_0048_0037__bottom(R_0048_0036__THE_R_0048_0037__BOTTOM)
      & has_r_0048_0038__of(R_0048_0036__THE_R_0048_0037__BOTTOM,R_0048_0039__THE_R_0048_0040__ROOM)
      & has_attrib92(R_0048_0032__THE_R_0048_0034__CLOCK,R_0048_0033__WELL__HYPHEN__KICKED)
      & has_conj2(R_0048_0028__TILL,R_0048_0013__MOVING)
      & r_0048_0013__moving(R_0048_0013__MOVING)
      & has_r_0048_0014__in_nim39(R_0048_0013__MOVING,R_0048_0017__COURSES)
      & r_0048_0017__courses(R_0048_0017__COURSES)
      & has_r_0048_0025__to(R_0048_0017__COURSES,R_0048_0026__PERIGEE)
      & has_r_0048_0023__from(R_0048_0017__COURSES,R_0048_0024__APOGEE)
      & has_attrib50(R_0048_0017__COURSES,R_0048_0020__AND)
      & r_0048_0020__and(R_0048_0020__AND)
      & has_conj2(R_0048_0020__AND,R_0048_0021__RETROGRADE)
      & has_conj1(R_0048_0020__AND,R_0048_0019__DIRECT)
      & has_attrib43(R_0048_0017__COURSES,R_0048_0016__PLANET__HYPHEN__LIKE)
      & has_gen(R_0048_0017__COURSES,R_0048_0009__FURY)
      & r_0048_0009__fury(R_0048_0009__FURY)
      & has_attrib20(R_0048_0009__FURY,R_0048_0008__CUMULATIVE)
      & has_arg0(R_0048_0013__MOVING,R_0048_0011__THE_R_0048_0012__PERFORMERS)
      & has_conj2(Z_000_48_A_HARDY_1883_27,R_0048_0001__AND_R_0048_0005__WHIZZED_R_0048_0006__ON)
      & r_0048_0001__And_r_0048_0005__whizzed_r_0048_0006__on(R_0048_0001__AND_R_0048_0005__WHIZZED_R_0048_0006__ON)
      & has_r_0048_0007__with_nim19(R_0048_0001__AND_R_0048_0005__WHIZZED_R_0048_0006__ON,R_0048_0009__FURY)
      & has_arg0(R_0048_0001__AND_R_0048_0005__WHIZZED_R_0048_0006__ON,R_0048_0003__THE_R_0048_0004__DANCE)
      & has_nim4(R_0048_0001__AND_R_0048_0005__WHIZZED_R_0048_0006__ON,R_0048_0002__SO) ) ).

( (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 48_a_hardy_1883))