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_0015__the_r_0022_0017__time the time r_0022_0016__right right r_0022_0015__the_r_0022_0017__time->r_0022_0016__right [attrib] r_0022_0011__the_r_0022_0013__measures the measures r_0022_0012__right right r_0022_0011__the_r_0022_0013__measures->r_0022_0012__right [attrib] 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_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_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_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_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] 
fof(formula,axiom,
    ? [R_0022_0002__THE_R_0022_0003__START,R_0022_0005__WE,R_0022_0012__RIGHT,R_0022_0011__THE_R_0022_0013__MEASURES,R_0022_0016__RIGHT,R_0022_0015__THE_R_0022_0017__TIME,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(R_0022_0002__THE_R_0022_0003__START)
      & r_0022_0005__we(R_0022_0005__WE)
      & r_0022_0012__right(R_0022_0012__RIGHT)
      & r_0022_0016__right(R_0022_0016__RIGHT)
      & r_0022_0006__have_r_0022_0007__sought_r_0022_0008__to_r_0022_0009__put_r_0022_0010__in(R_0022_0006__HAVE_R_0022_0007__SOUGHT_R_0022_0008__TO_R_0022_0009__PUT_R_0022_0010__IN)
      & has_r_0022_0014__at_nim38(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)
      & r_0022_0015__the_r_0022_0017__time(R_0022_0015__THE_R_0022_0017__TIME)
      & has_attrib41(R_0022_0015__THE_R_0022_0017__TIME,R_0022_0016__RIGHT)
      & has_arg1(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)
      & r_0022_0011__the_r_0022_0013__measures(R_0022_0011__THE_R_0022_0013__MEASURES)
      & has_attrib30(R_0022_0011__THE_R_0022_0013__MEASURES,R_0022_0012__RIGHT)
      & has_arg0(R_0022_0006__HAVE_R_0022_0007__SOUGHT_R_0022_0008__TO_R_0022_0009__PUT_R_0022_0010__IN,R_0022_0005__WE)
      & has_r_0022_0001__From_nim5(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) ) ).


n22_a_johnson_letter n22_a_johnson_letter__1_1_1_1 From n22_a_johnson_letter__1_1_2_1_1 the n22_a_johnson_letter__1_1_2_2_1 start n22_a_johnson_letter__1_2_1 , n22_a_johnson_letter__1_3_1_1 we n22_a_johnson_letter__1_4_1 have n22_a_johnson_letter__1_5_1_1 sought n22_a_johnson_letter__1_5_2_1_1 to n22_a_johnson_letter__1_5_2_2_1 put n22_a_johnson_letter__1_5_2_3_1 in n22_a_johnson_letter__1_5_2_4_1_1 the n22_a_johnson_letter__1_5_2_4_2_1_1 right n22_a_johnson_letter__1_5_2_4_3_1 measures n22_a_johnson_letter__1_5_2_5_1_1 at n22_a_johnson_letter__1_5_2_5_2_1_1 the n22_a_johnson_letter__1_5_2_5_2_2_1_1 right n22_a_johnson_letter__1_5_2_5_2_3_1 time n22_a_johnson_letter__1_6_1 . n22_a_johnson_letter__1 IP-MAT n22_a_johnson_letter__1_1 PP-NIM n22_a_johnson_letter__1->n22_a_johnson_letter__1_1 n22_a_johnson_letter__1_2 PUNC n22_a_johnson_letter__1->n22_a_johnson_letter__1_2 n22_a_johnson_letter__1_3 NP-SBJ n22_a_johnson_letter__1->n22_a_johnson_letter__1_3 n22_a_johnson_letter__1_4 HVP;_cat_Ve_ n22_a_johnson_letter__1->n22_a_johnson_letter__1_4 n22_a_johnson_letter__1_5 IP-PPL-CAT n22_a_johnson_letter__1->n22_a_johnson_letter__1_5 n22_a_johnson_letter__1_6 PUNC n22_a_johnson_letter__1->n22_a_johnson_letter__1_6 n22_a_johnson_letter__1_1_1 P-ROLE n22_a_johnson_letter__1_1->n22_a_johnson_letter__1_1_1 n22_a_johnson_letter__1_1_2 NP n22_a_johnson_letter__1_1->n22_a_johnson_letter__1_1_2 n22_a_johnson_letter__1_1_1->n22_a_johnson_letter__1_1_1_1 n22_a_johnson_letter__1_1_2_1 D n22_a_johnson_letter__1_1_2->n22_a_johnson_letter__1_1_2_1 n22_a_johnson_letter__1_1_2_2 N n22_a_johnson_letter__1_1_2->n22_a_johnson_letter__1_1_2_2 n22_a_johnson_letter__1_1_2_1->n22_a_johnson_letter__1_1_2_1_1 n22_a_johnson_letter__1_1_2_2->n22_a_johnson_letter__1_1_2_2_1 n22_a_johnson_letter__1_2->n22_a_johnson_letter__1_2_1 n22_a_johnson_letter__1_3_1 PRO n22_a_johnson_letter__1_3->n22_a_johnson_letter__1_3_1 n22_a_johnson_letter__1_3_1->n22_a_johnson_letter__1_3_1_1 n22_a_johnson_letter__1_4->n22_a_johnson_letter__1_4_1 n22_a_johnson_letter__1_5_1 VVN;_cat_Vt_ n22_a_johnson_letter__1_5->n22_a_johnson_letter__1_5_1 n22_a_johnson_letter__1_5_2 IP-INF-CAT n22_a_johnson_letter__1_5->n22_a_johnson_letter__1_5_2 n22_a_johnson_letter__1_5_1->n22_a_johnson_letter__1_5_1_1 n22_a_johnson_letter__1_5_2_1 TO n22_a_johnson_letter__1_5_2->n22_a_johnson_letter__1_5_2_1 n22_a_johnson_letter__1_5_2_2 VB;_phr_Vn<=>p_ n22_a_johnson_letter__1_5_2->n22_a_johnson_letter__1_5_2_2 n22_a_johnson_letter__1_5_2_3 RP n22_a_johnson_letter__1_5_2->n22_a_johnson_letter__1_5_2_3 n22_a_johnson_letter__1_5_2_4 NP-OB1 n22_a_johnson_letter__1_5_2->n22_a_johnson_letter__1_5_2_4 n22_a_johnson_letter__1_5_2_5 PP-NIM n22_a_johnson_letter__1_5_2->n22_a_johnson_letter__1_5_2_5 n22_a_johnson_letter__1_5_2_1->n22_a_johnson_letter__1_5_2_1_1 n22_a_johnson_letter__1_5_2_2->n22_a_johnson_letter__1_5_2_2_1 n22_a_johnson_letter__1_5_2_3->n22_a_johnson_letter__1_5_2_3_1 n22_a_johnson_letter__1_5_2_4_1 D n22_a_johnson_letter__1_5_2_4->n22_a_johnson_letter__1_5_2_4_1 n22_a_johnson_letter__1_5_2_4_2 ADJP n22_a_johnson_letter__1_5_2_4->n22_a_johnson_letter__1_5_2_4_2 n22_a_johnson_letter__1_5_2_4_3 NS n22_a_johnson_letter__1_5_2_4->n22_a_johnson_letter__1_5_2_4_3 n22_a_johnson_letter__1_5_2_4_1->n22_a_johnson_letter__1_5_2_4_1_1 n22_a_johnson_letter__1_5_2_4_2_1 ADJ n22_a_johnson_letter__1_5_2_4_2->n22_a_johnson_letter__1_5_2_4_2_1 n22_a_johnson_letter__1_5_2_4_2_1->n22_a_johnson_letter__1_5_2_4_2_1_1 n22_a_johnson_letter__1_5_2_4_3->n22_a_johnson_letter__1_5_2_4_3_1 n22_a_johnson_letter__1_5_2_5_1 P-ROLE n22_a_johnson_letter__1_5_2_5->n22_a_johnson_letter__1_5_2_5_1 n22_a_johnson_letter__1_5_2_5_2 NP n22_a_johnson_letter__1_5_2_5->n22_a_johnson_letter__1_5_2_5_2 n22_a_johnson_letter__1_5_2_5_1->n22_a_johnson_letter__1_5_2_5_1_1 n22_a_johnson_letter__1_5_2_5_2_1 D n22_a_johnson_letter__1_5_2_5_2->n22_a_johnson_letter__1_5_2_5_2_1 n22_a_johnson_letter__1_5_2_5_2_2 ADJP n22_a_johnson_letter__1_5_2_5_2->n22_a_johnson_letter__1_5_2_5_2_2 n22_a_johnson_letter__1_5_2_5_2_3 N n22_a_johnson_letter__1_5_2_5_2->n22_a_johnson_letter__1_5_2_5_2_3 n22_a_johnson_letter__1_5_2_5_2_1->n22_a_johnson_letter__1_5_2_5_2_1_1 n22_a_johnson_letter__1_5_2_5_2_2_1 ADJ n22_a_johnson_letter__1_5_2_5_2_2->n22_a_johnson_letter__1_5_2_5_2_2_1 n22_a_johnson_letter__1_5_2_5_2_2_1->n22_a_johnson_letter__1_5_2_5_2_2_1_1 n22_a_johnson_letter__1_5_2_5_2_3->n22_a_johnson_letter__1_5_2_5_2_3_1 n22_a_johnson_letter__1_6->n22_a_johnson_letter__1_6_1 
( (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))