Context                Previous, Next                Top


22_a_johnson_letter
From the start, we have sought to put in the right measures at the right time.

%3 r_0022_0006__have have r_0022_0002__the_r_0022_0003__start the start r_0022_0006__have->r_0022_0002__the_r_0022_0003__start From [nim] r_0022_0007__sought sought r_0022_0006__have->r_0022_0007__sought [scope] r_0022_0008__to_r_0022_0009__put_r_0022_0010__in to put in r_0022_0007__sought->r_0022_0008__to_r_0022_0009__put_r_0022_0010__in [scope] r_0022_0005__we we r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0005__we [arg0] r_0022_0011__the_r_0022_0013__measures the measures r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0011__the_r_0022_0013__measures [arg1] r_0022_0015__the_r_0022_0017__time the time r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0015__the_r_0022_0017__time at [nim] r_0022_0012__right right r_0022_0011__the_r_0022_0013__measures->r_0022_0012__right [attrib] r_0022_0016__right right r_0022_0015__the_r_0022_0017__time->r_0022_0016__right [attrib] 
arc(r_0022_0006__have, r_0022_0002__the_r_0022_0003__start, r_0022_0001__From_nim5).
arc(r_0022_0006__have, r_0022_0007__sought, scope).
arc(r_0022_0007__sought, r_0022_0008__to_r_0022_0009__put_r_0022_0010__in, scope).
arc(r_0022_0008__to_r_0022_0009__put_r_0022_0010__in, r_0022_0005__we, arg0).
arc(r_0022_0008__to_r_0022_0009__put_r_0022_0010__in, r_0022_0011__the_r_0022_0013__measures, arg1).
arc(r_0022_0008__to_r_0022_0009__put_r_0022_0010__in, r_0022_0015__the_r_0022_0017__time, r_0022_0014__at_nim38).
arc(r_0022_0011__the_r_0022_0013__measures, r_0022_0012__right, attrib30).
arc(r_0022_0015__the_r_0022_0017__time, r_0022_0016__right, attrib41).


%3 r_0022_0006__have_r_0022_0007__sought_r_0022_0008__to_r_0022_0009__put_r_0022_0010__in have sought to put in r_0022_0002__the_r_0022_0003__start the start r_0022_0006__have_r_0022_0007__sought_r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0002__the_r_0022_0003__start From [nim] r_0022_0005__we we r_0022_0006__have_r_0022_0007__sought_r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0005__we [arg0] r_0022_0011__the_r_0022_0013__measures the measures r_0022_0006__have_r_0022_0007__sought_r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0011__the_r_0022_0013__measures [arg1] r_0022_0015__the_r_0022_0017__time the time r_0022_0006__have_r_0022_0007__sought_r_0022_0008__to_r_0022_0009__put_r_0022_0010__in->r_0022_0015__the_r_0022_0017__time at [nim] r_0022_0012__right right r_0022_0011__the_r_0022_0013__measures->r_0022_0012__right [attrib] r_0022_0016__right right r_0022_0015__the_r_0022_0017__time->r_0022_0016__right [attrib] 
fof(formula,axiom,
    ? [R_22_6_HAVE_SOUGHT_TO_PUT_IN,R_22_5_WE,R_22_11_THE_MEASURES,R_22_12_RIGHT,R_22_2_THE_START,R_22_15_THE_TIME,R_22_16_RIGHT] :
      ( we(R_22_5_WE)
      & right(R_22_12_RIGHT)
      & the_start(R_22_2_THE_START)
      & right(R_22_16_RIGHT)
      & have_sought_to_put_in(R_22_6_HAVE_SOUGHT_TO_PUT_IN,R_22_5_WE,R_22_11_THE_MEASURES)
      & the_measures(R_22_11_THE_MEASURES)
      & attrib30(R_22_11_THE_MEASURES,R_22_12_RIGHT)
      & from_nim5(R_22_6_HAVE_SOUGHT_TO_PUT_IN,R_22_2_THE_START)
      & at_nim38(R_22_6_HAVE_SOUGHT_TO_PUT_IN,R_22_15_THE_TIME)
      & the_time(R_22_15_THE_TIME)
      & attrib41(R_22_15_THE_TIME,R_22_16_RIGHT) ) ).


n22_a_johnson_letter n22_a_johnson_letter_4 From n22_a_johnson_letter_7 the n22_a_johnson_letter_9 start n22_a_johnson_letter_11 , n22_a_johnson_letter_14 we n22_a_johnson_letter_16 have n22_a_johnson_letter_19 sought n22_a_johnson_letter_22 to n22_a_johnson_letter_24 put n22_a_johnson_letter_26 in n22_a_johnson_letter_29 the n22_a_johnson_letter_32 right n22_a_johnson_letter_34 measures n22_a_johnson_letter_37 at n22_a_johnson_letter_40 the n22_a_johnson_letter_43 right n22_a_johnson_letter_45 time n22_a_johnson_letter_47 . n22_a_johnson_letter_1 IP-MAT n22_a_johnson_letter_2 PP-NIM n22_a_johnson_letter_1->n22_a_johnson_letter_2 n22_a_johnson_letter_10 PUNC n22_a_johnson_letter_1->n22_a_johnson_letter_10 n22_a_johnson_letter_12 NP-SBJ n22_a_johnson_letter_1->n22_a_johnson_letter_12 n22_a_johnson_letter_15 HVP;_cat_Ve_ n22_a_johnson_letter_1->n22_a_johnson_letter_15 n22_a_johnson_letter_17 IP-PPL-CAT n22_a_johnson_letter_1->n22_a_johnson_letter_17 n22_a_johnson_letter_46 PUNC n22_a_johnson_letter_1->n22_a_johnson_letter_46 n22_a_johnson_letter_3 P-ROLE n22_a_johnson_letter_2->n22_a_johnson_letter_3 n22_a_johnson_letter_5 NP n22_a_johnson_letter_2->n22_a_johnson_letter_5 n22_a_johnson_letter_3->n22_a_johnson_letter_4 n22_a_johnson_letter_6 D n22_a_johnson_letter_5->n22_a_johnson_letter_6 n22_a_johnson_letter_8 N n22_a_johnson_letter_5->n22_a_johnson_letter_8 n22_a_johnson_letter_6->n22_a_johnson_letter_7 n22_a_johnson_letter_8->n22_a_johnson_letter_9 n22_a_johnson_letter_10->n22_a_johnson_letter_11 n22_a_johnson_letter_13 PRO n22_a_johnson_letter_12->n22_a_johnson_letter_13 n22_a_johnson_letter_13->n22_a_johnson_letter_14 n22_a_johnson_letter_15->n22_a_johnson_letter_16 n22_a_johnson_letter_18 VVN;_cat_Vt_ n22_a_johnson_letter_17->n22_a_johnson_letter_18 n22_a_johnson_letter_20 IP-INF-CAT n22_a_johnson_letter_17->n22_a_johnson_letter_20 n22_a_johnson_letter_18->n22_a_johnson_letter_19 n22_a_johnson_letter_21 TO n22_a_johnson_letter_20->n22_a_johnson_letter_21 n22_a_johnson_letter_23 VB;_phr_Vn<=>p_ n22_a_johnson_letter_20->n22_a_johnson_letter_23 n22_a_johnson_letter_25 RP n22_a_johnson_letter_20->n22_a_johnson_letter_25 n22_a_johnson_letter_27 NP-OB1 n22_a_johnson_letter_20->n22_a_johnson_letter_27 n22_a_johnson_letter_35 PP-NIM n22_a_johnson_letter_20->n22_a_johnson_letter_35 n22_a_johnson_letter_21->n22_a_johnson_letter_22 n22_a_johnson_letter_23->n22_a_johnson_letter_24 n22_a_johnson_letter_25->n22_a_johnson_letter_26 n22_a_johnson_letter_28 D n22_a_johnson_letter_27->n22_a_johnson_letter_28 n22_a_johnson_letter_30 ADJP n22_a_johnson_letter_27->n22_a_johnson_letter_30 n22_a_johnson_letter_33 NS n22_a_johnson_letter_27->n22_a_johnson_letter_33 n22_a_johnson_letter_28->n22_a_johnson_letter_29 n22_a_johnson_letter_31 ADJ n22_a_johnson_letter_30->n22_a_johnson_letter_31 n22_a_johnson_letter_31->n22_a_johnson_letter_32 n22_a_johnson_letter_33->n22_a_johnson_letter_34 n22_a_johnson_letter_36 P-ROLE n22_a_johnson_letter_35->n22_a_johnson_letter_36 n22_a_johnson_letter_38 NP n22_a_johnson_letter_35->n22_a_johnson_letter_38 n22_a_johnson_letter_36->n22_a_johnson_letter_37 n22_a_johnson_letter_39 D n22_a_johnson_letter_38->n22_a_johnson_letter_39 n22_a_johnson_letter_41 ADJP n22_a_johnson_letter_38->n22_a_johnson_letter_41 n22_a_johnson_letter_44 N n22_a_johnson_letter_38->n22_a_johnson_letter_44 n22_a_johnson_letter_39->n22_a_johnson_letter_40 n22_a_johnson_letter_42 ADJ n22_a_johnson_letter_41->n22_a_johnson_letter_42 n22_a_johnson_letter_42->n22_a_johnson_letter_43 n22_a_johnson_letter_44->n22_a_johnson_letter_45 n22_a_johnson_letter_46->n22_a_johnson_letter_47 
( (IP-MAT (PP-NIM (P-ROLE From;{from})
                  (NP (D the;{the})
                      (N start;{start})))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ sought;{seek})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_phr_Vn<=>p_ put;{put[in]})
                                  (RP in;{in})
                                  (NP-OB1 (D the;{the})
                                          (ADJP (ADJ right;{right}))
                                          (NS measures;{measure}))
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (ADJP (ADJ right;{right}))
                                              (N time;{time})))))
          (PUNC .))
  (ID 22_a_johnson_letter))