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 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 [conj2] r_0039_0016__coming coming r_0039_0015__before->r_0039_0016__coming [conj1] 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] 
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_4 The n39_a_lob_n01_6 needle n39_a_lob_n01_9 of n39_a_lob_n01_12 the n39_a_lob_n01_14 speed n39_a_lob_n01_16 recorder n39_a_lob_n01_18 swung n39_a_lob_n01_21 gently n39_a_lob_n01_24 through n39_a_lob_n01_29 8.0 n39_a_lob_n01_31 , n39_a_lob_n01_35 7.0 n39_a_lob_n01_37 , n39_a_lob_n01_41 6.0 n39_a_lob_n01_44 before n39_a_lob_n01_47 coming n39_a_lob_n01_50 to n39_a_lob_n01_52 rest n39_a_lob_n01_55 at n39_a_lob_n01_58 5.0 n39_a_lob_n01_60 . n39_a_lob_n01_1 IP-MAT n39_a_lob_n01_2 NP-SBJ n39_a_lob_n01_1->n39_a_lob_n01_2 n39_a_lob_n01_17 VBD;__ n39_a_lob_n01_1->n39_a_lob_n01_17 n39_a_lob_n01_19 ADVP-NIM n39_a_lob_n01_1->n39_a_lob_n01_19 n39_a_lob_n01_22 PP-NIM n39_a_lob_n01_1->n39_a_lob_n01_22 n39_a_lob_n01_42 PP-SCON n39_a_lob_n01_1->n39_a_lob_n01_42 n39_a_lob_n01_59 PUNC n39_a_lob_n01_1->n39_a_lob_n01_59 n39_a_lob_n01_3 D n39_a_lob_n01_2->n39_a_lob_n01_3 n39_a_lob_n01_5 N n39_a_lob_n01_2->n39_a_lob_n01_5 n39_a_lob_n01_7 PP n39_a_lob_n01_2->n39_a_lob_n01_7 n39_a_lob_n01_3->n39_a_lob_n01_4 n39_a_lob_n01_5->n39_a_lob_n01_6 n39_a_lob_n01_8 P-ROLE n39_a_lob_n01_7->n39_a_lob_n01_8 n39_a_lob_n01_10 NP n39_a_lob_n01_7->n39_a_lob_n01_10 n39_a_lob_n01_8->n39_a_lob_n01_9 n39_a_lob_n01_11 D n39_a_lob_n01_10->n39_a_lob_n01_11 n39_a_lob_n01_13 N n39_a_lob_n01_10->n39_a_lob_n01_13 n39_a_lob_n01_15 N n39_a_lob_n01_10->n39_a_lob_n01_15 n39_a_lob_n01_11->n39_a_lob_n01_12 n39_a_lob_n01_13->n39_a_lob_n01_14 n39_a_lob_n01_15->n39_a_lob_n01_16 n39_a_lob_n01_17->n39_a_lob_n01_18 n39_a_lob_n01_20 ADV n39_a_lob_n01_19->n39_a_lob_n01_20 n39_a_lob_n01_20->n39_a_lob_n01_21 n39_a_lob_n01_23 P-ROLE n39_a_lob_n01_22->n39_a_lob_n01_23 n39_a_lob_n01_25 NP n39_a_lob_n01_22->n39_a_lob_n01_25 n39_a_lob_n01_23->n39_a_lob_n01_24 n39_a_lob_n01_26 NLYR n39_a_lob_n01_25->n39_a_lob_n01_26 n39_a_lob_n01_27 NLYR n39_a_lob_n01_26->n39_a_lob_n01_27 n39_a_lob_n01_30 PUNC n39_a_lob_n01_26->n39_a_lob_n01_30 n39_a_lob_n01_32 CONJP n39_a_lob_n01_26->n39_a_lob_n01_32 n39_a_lob_n01_36 PUNC n39_a_lob_n01_26->n39_a_lob_n01_36 n39_a_lob_n01_38 CONJP n39_a_lob_n01_26->n39_a_lob_n01_38 n39_a_lob_n01_28 NUM n39_a_lob_n01_27->n39_a_lob_n01_28 n39_a_lob_n01_28->n39_a_lob_n01_29 n39_a_lob_n01_30->n39_a_lob_n01_31 n39_a_lob_n01_33 NLYR n39_a_lob_n01_32->n39_a_lob_n01_33 n39_a_lob_n01_34 NUM n39_a_lob_n01_33->n39_a_lob_n01_34 n39_a_lob_n01_34->n39_a_lob_n01_35 n39_a_lob_n01_36->n39_a_lob_n01_37 n39_a_lob_n01_39 NLYR n39_a_lob_n01_38->n39_a_lob_n01_39 n39_a_lob_n01_40 NUM n39_a_lob_n01_39->n39_a_lob_n01_40 n39_a_lob_n01_40->n39_a_lob_n01_41 n39_a_lob_n01_43 P-CONN n39_a_lob_n01_42->n39_a_lob_n01_43 n39_a_lob_n01_45 IP-PPL n39_a_lob_n01_42->n39_a_lob_n01_45 n39_a_lob_n01_43->n39_a_lob_n01_44 n39_a_lob_n01_46 VAG;__ n39_a_lob_n01_45->n39_a_lob_n01_46 n39_a_lob_n01_48 IP-INF-OB1 n39_a_lob_n01_45->n39_a_lob_n01_48 n39_a_lob_n01_46->n39_a_lob_n01_47 n39_a_lob_n01_49 TO n39_a_lob_n01_48->n39_a_lob_n01_49 n39_a_lob_n01_51 VB;__ n39_a_lob_n01_48->n39_a_lob_n01_51 n39_a_lob_n01_53 PP-NIM n39_a_lob_n01_48->n39_a_lob_n01_53 n39_a_lob_n01_49->n39_a_lob_n01_50 n39_a_lob_n01_51->n39_a_lob_n01_52 n39_a_lob_n01_54 P-ROLE n39_a_lob_n01_53->n39_a_lob_n01_54 n39_a_lob_n01_56 NP n39_a_lob_n01_53->n39_a_lob_n01_56 n39_a_lob_n01_54->n39_a_lob_n01_55 n39_a_lob_n01_57 NUM n39_a_lob_n01_56->n39_a_lob_n01_57 n39_a_lob_n01_57->n39_a_lob_n01_58 n39_a_lob_n01_59->n39_a_lob_n01_60 
( (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))