Context                Previous, Next                Top


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.

%3 r_0039_0001__The_r_0039_0002__needle The needle r_0039_0004__the_r_0039_0005__speed_r_0039_0006__recorder the speed recorder r_0039_0001__The_r_0039_0002__needle->r_0039_0004__the_r_0039_0005__speed_r_0039_0006__recorder of r_0039_0007__swung swung r_0039_0007__swung->r_0039_0001__The_r_0039_0002__needle [arg0] r_0039_0008__gently gently r_0039_0007__swung->r_0039_0008__gently [nim] z_000_39_a_lob_n01_26 r_0039_0007__swung->z_000_39_a_lob_n01_26 through [nim] r_0039_0010__8_dot_0 8.0 z_000_39_a_lob_n01_26->r_0039_0010__8_dot_0 [conj1] r_0039_0012__7_dot_0 7.0 z_000_39_a_lob_n01_26->r_0039_0012__7_dot_0 [conj2] r_0039_0014__6_dot_0 6.0 z_000_39_a_lob_n01_26->r_0039_0014__6_dot_0 [conj3] r_0039_0015__before before r_0039_0015__before->r_0039_0007__swung [scope] r_0039_0016__coming coming r_0039_0015__before->r_0039_0016__coming [restriction] r_0039_0016__coming->r_0039_0001__The_r_0039_0002__needle [arg0] r_0039_0017__to_r_0039_0018__rest to rest r_0039_0016__coming->r_0039_0017__to_r_0039_0018__rest [arg1] r_0039_0017__to_r_0039_0018__rest->r_0039_0001__The_r_0039_0002__needle [arg0] r_0039_0020__5_dot_0 5.0 r_0039_0017__to_r_0039_0018__rest->r_0039_0020__5_dot_0 at [nim] 
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, nim19).
arc(r_0039_0007__swung, z_000_39_a_lob_n01_26, r_0039_0009__through_nim25).
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_0017__to_r_0039_0018__rest, arg1).
arc(r_0039_0017__to_r_0039_0018__rest, r_0039_0001__The_r_0039_0002__needle, arg0).
arc(r_0039_0017__to_r_0039_0018__rest, r_0039_0020__5_dot_0, r_0039_0019__at_nim56).
arc(z_000_39_a_lob_n01_26, r_0039_0010__8_dot_0, conj1).
arc(z_000_39_a_lob_n01_26, r_0039_0012__7_dot_0, conj2).
arc(z_000_39_a_lob_n01_26, r_0039_0014__6_dot_0, conj3).


%3 z_000_39_a_lob_n01_26 r_0039_0014__6_dot_0 6.0 z_000_39_a_lob_n01_26->r_0039_0014__6_dot_0 [conj3] r_0039_0012__7_dot_0 7.0 z_000_39_a_lob_n01_26->r_0039_0012__7_dot_0 [conj2] r_0039_0010__8_dot_0 8.0 z_000_39_a_lob_n01_26->r_0039_0010__8_dot_0 [conj1] r_0039_0017__to_r_0039_0018__rest to rest r_0039_0020__5_dot_0 5.0 r_0039_0017__to_r_0039_0018__rest->r_0039_0020__5_dot_0 at [nim] r_0039_0001__The_r_0039_0002__needle The needle r_0039_0017__to_r_0039_0018__rest->r_0039_0001__The_r_0039_0002__needle [arg0] r_0039_0004__the_r_0039_0005__speed_r_0039_0006__recorder the speed recorder r_0039_0001__The_r_0039_0002__needle->r_0039_0004__the_r_0039_0005__speed_r_0039_0006__recorder of r_0039_0016__coming coming r_0039_0016__coming->r_0039_0017__to_r_0039_0018__rest [arg1] r_0039_0016__coming->r_0039_0001__The_r_0039_0002__needle [arg0] r_0039_0015__before before r_0039_0015__before->r_0039_0016__coming [conj1] r_0039_0007__swung swung r_0039_0015__before->r_0039_0007__swung [conj2] r_0039_0007__swung->z_000_39_a_lob_n01_26 through [nim] r_0039_0007__swung->r_0039_0001__The_r_0039_0002__needle [arg0] r_0039_0008__gently gently r_0039_0007__swung->r_0039_0008__gently [nim] 
fof(formula,axiom,
    ? [R_39_15_BEFORE,R_39_16_COMING,R_39_17_TO_REST,R_39_20_5_DOT_,R_39_7_SWUNG,R_39_1_THE_NEEDLE,R_39_4_THE_SPEED_RECORDER,R_39_8_GENTLY,Z_39_A_LOB_N01_26,R_39_10_8_DOT_,R_39_12_7_DOT_,R_39_14_6_DOT_] :
      ( 5_dot_(R_39_20_5_DOT_)
      & the_speed_recorder(R_39_4_THE_SPEED_RECORDER)
      & gently(R_39_8_GENTLY)
      & 8_dot_(R_39_10_8_DOT_)
      & 7_dot_(R_39_12_7_DOT_)
      & 6_dot_(R_39_14_6_DOT_)
      & before(R_39_15_BEFORE)
      & conj1(R_39_15_BEFORE,R_39_16_COMING)
      & coming(R_39_16_COMING,R_39_1_THE_NEEDLE,R_39_17_TO_REST)
      & the_needle(R_39_1_THE_NEEDLE)
      & of(R_39_1_THE_NEEDLE,R_39_4_THE_SPEED_RECORDER)
      & to_rest(R_39_17_TO_REST,R_39_1_THE_NEEDLE)
      & at_nim56(R_39_17_TO_REST,R_39_20_5_DOT_)
      & conj2(R_39_15_BEFORE,R_39_7_SWUNG)
      & swung(R_39_7_SWUNG,R_39_1_THE_NEEDLE)
      & nim19(R_39_7_SWUNG,R_39_8_GENTLY)
      & through_nim25(R_39_7_SWUNG,Z_39_A_LOB_N01_26)
      & z_39_a_lob_n01_26(Z_39_A_LOB_N01_26)
      & conj1(Z_39_A_LOB_N01_26,R_39_10_8_DOT_)
      & conj2(Z_39_A_LOB_N01_26,R_39_12_7_DOT_)
      & conj3(Z_39_A_LOB_N01_26,R_39_14_6_DOT_) ) ).


n39_a_lob_n01 n39_a_lob_n01__1_1_1_1 The n39_a_lob_n01__1_1_2_1 needle n39_a_lob_n01__1_1_3_1_1 of n39_a_lob_n01__1_1_3_2_1_1 the n39_a_lob_n01__1_1_3_2_2_1 speed n39_a_lob_n01__1_1_3_2_3_1 recorder n39_a_lob_n01__1_2_1 swung n39_a_lob_n01__1_3_1_1 gently n39_a_lob_n01__1_4_1_1 through n39_a_lob_n01__1_4_2_1_1_1_1 8.0 n39_a_lob_n01__1_4_2_1_2_1 , n39_a_lob_n01__1_4_2_1_3_1_1_1 7.0 n39_a_lob_n01__1_4_2_1_4_1 , n39_a_lob_n01__1_4_2_1_5_1_1_1 6.0 n39_a_lob_n01__1_5_1_1 before n39_a_lob_n01__1_5_2_1_1 coming n39_a_lob_n01__1_5_2_2_1_1 to n39_a_lob_n01__1_5_2_2_2_1 rest n39_a_lob_n01__1_5_2_2_3_1_1 at n39_a_lob_n01__1_5_2_2_3_2_1_1 5.0 n39_a_lob_n01__1_6_1 . n39_a_lob_n01__1 IP-MAT n39_a_lob_n01__1_1 NP-SBJ n39_a_lob_n01__1->n39_a_lob_n01__1_1 n39_a_lob_n01__1_2 VBD;__ n39_a_lob_n01__1->n39_a_lob_n01__1_2 n39_a_lob_n01__1_3 ADVP-NIM n39_a_lob_n01__1->n39_a_lob_n01__1_3 n39_a_lob_n01__1_4 PP-NIM n39_a_lob_n01__1->n39_a_lob_n01__1_4 n39_a_lob_n01__1_5 PP-SCON n39_a_lob_n01__1->n39_a_lob_n01__1_5 n39_a_lob_n01__1_6 PUNC n39_a_lob_n01__1->n39_a_lob_n01__1_6 n39_a_lob_n01__1_1_1 D n39_a_lob_n01__1_1->n39_a_lob_n01__1_1_1 n39_a_lob_n01__1_1_2 N n39_a_lob_n01__1_1->n39_a_lob_n01__1_1_2 n39_a_lob_n01__1_1_3 PP n39_a_lob_n01__1_1->n39_a_lob_n01__1_1_3 n39_a_lob_n01__1_1_1->n39_a_lob_n01__1_1_1_1 n39_a_lob_n01__1_1_2->n39_a_lob_n01__1_1_2_1 n39_a_lob_n01__1_1_3_1 P-ROLE n39_a_lob_n01__1_1_3->n39_a_lob_n01__1_1_3_1 n39_a_lob_n01__1_1_3_2 NP n39_a_lob_n01__1_1_3->n39_a_lob_n01__1_1_3_2 n39_a_lob_n01__1_1_3_1->n39_a_lob_n01__1_1_3_1_1 n39_a_lob_n01__1_1_3_2_1 D n39_a_lob_n01__1_1_3_2->n39_a_lob_n01__1_1_3_2_1 n39_a_lob_n01__1_1_3_2_2 N n39_a_lob_n01__1_1_3_2->n39_a_lob_n01__1_1_3_2_2 n39_a_lob_n01__1_1_3_2_3 N n39_a_lob_n01__1_1_3_2->n39_a_lob_n01__1_1_3_2_3 n39_a_lob_n01__1_1_3_2_1->n39_a_lob_n01__1_1_3_2_1_1 n39_a_lob_n01__1_1_3_2_2->n39_a_lob_n01__1_1_3_2_2_1 n39_a_lob_n01__1_1_3_2_3->n39_a_lob_n01__1_1_3_2_3_1 n39_a_lob_n01__1_2->n39_a_lob_n01__1_2_1 n39_a_lob_n01__1_3_1 ADV n39_a_lob_n01__1_3->n39_a_lob_n01__1_3_1 n39_a_lob_n01__1_3_1->n39_a_lob_n01__1_3_1_1 n39_a_lob_n01__1_4_1 P-ROLE n39_a_lob_n01__1_4->n39_a_lob_n01__1_4_1 n39_a_lob_n01__1_4_2 NP n39_a_lob_n01__1_4->n39_a_lob_n01__1_4_2 n39_a_lob_n01__1_4_1->n39_a_lob_n01__1_4_1_1 n39_a_lob_n01__1_4_2_1 NLYR n39_a_lob_n01__1_4_2->n39_a_lob_n01__1_4_2_1 n39_a_lob_n01__1_4_2_1_1 NLYR n39_a_lob_n01__1_4_2_1->n39_a_lob_n01__1_4_2_1_1 n39_a_lob_n01__1_4_2_1_2 PUNC n39_a_lob_n01__1_4_2_1->n39_a_lob_n01__1_4_2_1_2 n39_a_lob_n01__1_4_2_1_3 CONJP n39_a_lob_n01__1_4_2_1->n39_a_lob_n01__1_4_2_1_3 n39_a_lob_n01__1_4_2_1_4 PUNC n39_a_lob_n01__1_4_2_1->n39_a_lob_n01__1_4_2_1_4 n39_a_lob_n01__1_4_2_1_5 CONJP n39_a_lob_n01__1_4_2_1->n39_a_lob_n01__1_4_2_1_5 n39_a_lob_n01__1_4_2_1_1_1 NUM n39_a_lob_n01__1_4_2_1_1->n39_a_lob_n01__1_4_2_1_1_1 n39_a_lob_n01__1_4_2_1_1_1->n39_a_lob_n01__1_4_2_1_1_1_1 n39_a_lob_n01__1_4_2_1_2->n39_a_lob_n01__1_4_2_1_2_1 n39_a_lob_n01__1_4_2_1_3_1 NLYR n39_a_lob_n01__1_4_2_1_3->n39_a_lob_n01__1_4_2_1_3_1 n39_a_lob_n01__1_4_2_1_3_1_1 NUM n39_a_lob_n01__1_4_2_1_3_1->n39_a_lob_n01__1_4_2_1_3_1_1 n39_a_lob_n01__1_4_2_1_3_1_1->n39_a_lob_n01__1_4_2_1_3_1_1_1 n39_a_lob_n01__1_4_2_1_4->n39_a_lob_n01__1_4_2_1_4_1 n39_a_lob_n01__1_4_2_1_5_1 NLYR n39_a_lob_n01__1_4_2_1_5->n39_a_lob_n01__1_4_2_1_5_1 n39_a_lob_n01__1_4_2_1_5_1_1 NUM n39_a_lob_n01__1_4_2_1_5_1->n39_a_lob_n01__1_4_2_1_5_1_1 n39_a_lob_n01__1_4_2_1_5_1_1->n39_a_lob_n01__1_4_2_1_5_1_1_1 n39_a_lob_n01__1_5_1 P-CONN n39_a_lob_n01__1_5->n39_a_lob_n01__1_5_1 n39_a_lob_n01__1_5_2 IP-PPL n39_a_lob_n01__1_5->n39_a_lob_n01__1_5_2 n39_a_lob_n01__1_5_1->n39_a_lob_n01__1_5_1_1 n39_a_lob_n01__1_5_2_1 VAG;__ n39_a_lob_n01__1_5_2->n39_a_lob_n01__1_5_2_1 n39_a_lob_n01__1_5_2_2 IP-INF-OB1 n39_a_lob_n01__1_5_2->n39_a_lob_n01__1_5_2_2 n39_a_lob_n01__1_5_2_1->n39_a_lob_n01__1_5_2_1_1 n39_a_lob_n01__1_5_2_2_1 TO n39_a_lob_n01__1_5_2_2->n39_a_lob_n01__1_5_2_2_1 n39_a_lob_n01__1_5_2_2_2 VB;__ n39_a_lob_n01__1_5_2_2->n39_a_lob_n01__1_5_2_2_2 n39_a_lob_n01__1_5_2_2_3 PP-NIM n39_a_lob_n01__1_5_2_2->n39_a_lob_n01__1_5_2_2_3 n39_a_lob_n01__1_5_2_2_1->n39_a_lob_n01__1_5_2_2_1_1 n39_a_lob_n01__1_5_2_2_2->n39_a_lob_n01__1_5_2_2_2_1 n39_a_lob_n01__1_5_2_2_3_1 P-ROLE n39_a_lob_n01__1_5_2_2_3->n39_a_lob_n01__1_5_2_2_3_1 n39_a_lob_n01__1_5_2_2_3_2 NP n39_a_lob_n01__1_5_2_2_3->n39_a_lob_n01__1_5_2_2_3_2 n39_a_lob_n01__1_5_2_2_3_1->n39_a_lob_n01__1_5_2_2_3_1_1 n39_a_lob_n01__1_5_2_2_3_2_1 NUM n39_a_lob_n01__1_5_2_2_3_2->n39_a_lob_n01__1_5_2_2_3_2_1 n39_a_lob_n01__1_5_2_2_3_2_1->n39_a_lob_n01__1_5_2_2_3_2_1_1 n39_a_lob_n01__1_6->n39_a_lob_n01__1_6_1 
( (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))