TSPC 39_a_lob

39_a_lob_n01
The needle of the speed recorder swung gently through 8.0, 7.0, 6.0 before coming to rest at 5.0.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N needle;{needle})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N speed;{speed})
                          (N recorder;{recorder}))))
          (VBD;__ swung;{swing})
          (ADVP-NIM (ADV gently;{gently}))
          (PP-NIM (P-ROLE through;{through})
                  (NP (NLYR (NLYR (NUM 8<dot>0))
                            (PUNC ,)
                            (CONJP (NLYR (NUM 7<dot>0)))
                            (PUNC ,)
                            (CONJP (NLYR (NUM 6<dot>0))))))
          (PP-SCON (P-CONN before;{before})
                   (IP-PPL (VAG;__ coming;{come})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;__ rest;{rest})
                                       (PP-NIM (P-ROLE at;{at})
                                               (NP (NUM 5<dot>0))))))
          (PUNC .))
  (ID 39_a_lob_n01))

arc(r_0039_0001__The_r_0039_0002__needle,r_0039_0004__the_r_0039_0005__speed_r_0039_0006__recorder,r_0039_0003__of).
arc(r_0039_0007__swung,r_0039_0001__The_r_0039_0002__needle,arg0).
arc(r_0039_0007__swung,r_0039_0008__gently,nim).
arc(r_0039_0007__swung,z_0039_5012,r_0039_0009__through__nim).
arc(r_0039_0015__before,r_0039_0007__swung,scope).
arc(r_0039_0015__before,r_0039_0016__coming,restriction).
arc(r_0039_0016__coming,r_0039_0001__The_r_0039_0002__needle,arg0).
arc(r_0039_0016__coming,r_0039_0018__rest,arg1).
arc(r_0039_0018__rest,r_0039_0001__The_r_0039_0002__needle,arg0).
arc(r_0039_0018__rest,r_0039_0020__5_dot_0,r_0039_0019__at__nim).
arc(z_0039_5012,r_0039_0010__8_dot_0,conj1).
arc(z_0039_5012,r_0039_0012__7_dot_0,conj2).
arc(z_0039_5012,r_0039_0014__6_dot_0,conj3).

fof(formula,axiom,
    ? [R_0039_0004__THE_R_0039_0005__SPEED_R_0039_0006__RECORDER,R_0039_0001__THE_R_0039_0002__NEEDLE,R_0039_0008__GENTLY,R_0039_0010__8_DOT_0,R_0039_0012__7_DOT_0,R_0039_0014__6_DOT_0,Z_0039_5012,R_0039_0007__SWUNG,R_0039_0020__5_DOT_0,R_0039_0018__REST,R_0039_0016__COMING,R_0039_0015__BEFORE] :
      ( r_0039_0004__the_r_0039_0005__speed_r_0039_0006__recorder(R_0039_0004__THE_R_0039_0005__SPEED_R_0039_0006__RECORDER)
      & r_0039_0008__gently(R_0039_0008__GENTLY)
      & r_0039_0010__8_dot_0(R_0039_0010__8_DOT_0)
      & r_0039_0012__7_dot_0(R_0039_0012__7_DOT_0)
      & r_0039_0014__6_dot_0(R_0039_0014__6_DOT_0)
      & r_0039_0020__5_dot_0(R_0039_0020__5_DOT_0)
      & r_0039_0015__before(R_0039_0015__BEFORE)
      & has_conj1(R_0039_0015__BEFORE,R_0039_0016__COMING)
      & r_0039_0016__coming(R_0039_0016__COMING)
      & has_arg1(R_0039_0016__COMING,R_0039_0018__REST)
      & r_0039_0018__rest(R_0039_0018__REST)
      & has_r_0039_0019__at__nim(R_0039_0018__REST,R_0039_0020__5_DOT_0)
      & has_arg0(R_0039_0018__REST,R_0039_0001__THE_R_0039_0002__NEEDLE)
      & r_0039_0001__The_r_0039_0002__needle(R_0039_0001__THE_R_0039_0002__NEEDLE)
      & has_r_0039_0003__of(R_0039_0001__THE_R_0039_0002__NEEDLE,R_0039_0004__THE_R_0039_0005__SPEED_R_0039_0006__RECORDER)
      & has_arg0(R_0039_0016__COMING,R_0039_0001__THE_R_0039_0002__NEEDLE)
      & has_conj2(R_0039_0015__BEFORE,R_0039_0007__SWUNG)
      & r_0039_0007__swung(R_0039_0007__SWUNG)
      & has_r_0039_0009__through__nim(R_0039_0007__SWUNG,Z_0039_5012)
      & z_0039_5012(Z_0039_5012)
      & has_conj3(Z_0039_5012,R_0039_0014__6_DOT_0)
      & has_conj2(Z_0039_5012,R_0039_0012__7_DOT_0)
      & has_conj1(Z_0039_5012,R_0039_0010__8_DOT_0)
      & has_nim(R_0039_0007__SWUNG,R_0039_0008__GENTLY)
      & has_arg0(R_0039_0007__SWUNG,R_0039_0001__THE_R_0039_0002__NEEDLE) ) ).