Context                Previous, Next                Top


7_a_johnson_letter
But the action we have taken is absolutely necessary, for one very simple reason.

%3 r_0007_0001__But_r_0007_0007__is But is r_0007_0002__the_r_0007_0003__action the action r_0007_0001__But_r_0007_0007__is->r_0007_0002__the_r_0007_0003__action [arg0] r_0007_0009__necessary necessary r_0007_0001__But_r_0007_0007__is->r_0007_0009__necessary [prd] r_0007_0012__one_r_0007_0015__reason one reason r_0007_0001__But_r_0007_0007__is->r_0007_0012__one_r_0007_0015__reason for [nim] r_0007_0008__absolutely absolutely r_0007_0009__necessary->r_0007_0008__absolutely [qual] r_0007_0014__simple simple r_0007_0012__one_r_0007_0015__reason->r_0007_0014__simple [attrib] r_0007_0005__have have r_0007_0006__taken taken r_0007_0005__have->r_0007_0006__taken [scope] r_0007_0006__taken->r_0007_0002__the_r_0007_0003__action [arg1] r_0007_0004__we we r_0007_0006__taken->r_0007_0004__we [arg0] r_0007_0013__very very r_0007_0014__simple->r_0007_0013__very [qual] 
arc(r_0007_0001__But_r_0007_0007__is, r_0007_0002__the_r_0007_0003__action, arg0).
arc(r_0007_0001__But_r_0007_0007__is, r_0007_0009__necessary, prd).
arc(r_0007_0001__But_r_0007_0007__is, r_0007_0012__one_r_0007_0015__reason, r_0007_0011__for_nim33).
arc(r_0007_0005__have, r_0007_0006__taken, scope).
arc(r_0007_0006__taken, r_0007_0002__the_r_0007_0003__action, arg1).
arc(r_0007_0006__taken, r_0007_0004__we, arg0).
arc(r_0007_0009__necessary, r_0007_0008__absolutely, qual23).
arc(r_0007_0012__one_r_0007_0015__reason, r_0007_0014__simple, attrib36).
arc(r_0007_0014__simple, r_0007_0013__very, qual37).


%3 r_0007_0014__simple simple r_0007_0013__very very r_0007_0014__simple->r_0007_0013__very [qual] r_0007_0012__one_r_0007_0015__reason one reason r_0007_0012__one_r_0007_0015__reason->r_0007_0014__simple [attrib] r_0007_0009__necessary necessary r_0007_0008__absolutely absolutely r_0007_0009__necessary->r_0007_0008__absolutely [qual] r_0007_0005__have_r_0007_0006__taken have taken r_0007_0004__we we r_0007_0005__have_r_0007_0006__taken->r_0007_0004__we [arg0] r_0007_0002__the_r_0007_0003__action the action r_0007_0005__have_r_0007_0006__taken->r_0007_0002__the_r_0007_0003__action [arg1] r_0007_0001__But_r_0007_0007__is But is r_0007_0001__But_r_0007_0007__is->r_0007_0012__one_r_0007_0015__reason for [nim] r_0007_0001__But_r_0007_0007__is->r_0007_0009__necessary [prd] r_0007_0001__But_r_0007_0007__is->r_0007_0002__the_r_0007_0003__action [arg0] 
fof(formula,axiom,
    ? [R_0007_0002__THE_R_0007_0003__ACTION,R_0007_0008__ABSOLUTELY,R_0007_0009__NECESSARY,R_0007_0013__VERY,R_0007_0014__SIMPLE,R_0007_0012__ONE_R_0007_0015__REASON,R_0007_0001__BUT_R_0007_0007__IS,R_0007_0004__WE,R_0007_0005__HAVE_R_0007_0006__TAKEN] :
      ( r_0007_0002__the_r_0007_0003__action(R_0007_0002__THE_R_0007_0003__ACTION)
      & r_0007_0004__we(R_0007_0004__WE)
      & r_0007_0008__absolutely(R_0007_0008__ABSOLUTELY)
      & r_0007_0013__very(R_0007_0013__VERY)
      & r_0007_0005__have_r_0007_0006__taken(R_0007_0005__HAVE_R_0007_0006__TAKEN)
      & has_arg0(R_0007_0005__HAVE_R_0007_0006__TAKEN,R_0007_0004__WE)
      & has_arg1(R_0007_0005__HAVE_R_0007_0006__TAKEN,R_0007_0002__THE_R_0007_0003__ACTION)
      & r_0007_0001__But_r_0007_0007__is(R_0007_0001__BUT_R_0007_0007__IS)
      & has_r_0007_0011__for_nim33(R_0007_0001__BUT_R_0007_0007__IS,R_0007_0012__ONE_R_0007_0015__REASON)
      & r_0007_0012__one_r_0007_0015__reason(R_0007_0012__ONE_R_0007_0015__REASON)
      & has_attrib36(R_0007_0012__ONE_R_0007_0015__REASON,R_0007_0014__SIMPLE)
      & r_0007_0014__simple(R_0007_0014__SIMPLE)
      & has_qual37(R_0007_0014__SIMPLE,R_0007_0013__VERY)
      & has_prd(R_0007_0001__BUT_R_0007_0007__IS,R_0007_0009__NECESSARY)
      & r_0007_0009__necessary(R_0007_0009__NECESSARY)
      & has_qual23(R_0007_0009__NECESSARY,R_0007_0008__ABSOLUTELY)
      & has_arg0(R_0007_0001__BUT_R_0007_0007__IS,R_0007_0002__THE_R_0007_0003__ACTION) ) ).


n7_a_johnson_letter n7_a_johnson_letter__1_1_1 But n7_a_johnson_letter__1_2_1_1 the n7_a_johnson_letter__1_2_2_1 action n7_a_johnson_letter__1_2_3_1_1_1 we n7_a_johnson_letter__1_2_3_2_1 have n7_a_johnson_letter__1_2_3_3_1_1 *T* n7_a_johnson_letter__1_2_3_3_2_1 taken n7_a_johnson_letter__1_3_1 is n7_a_johnson_letter__1_4_1_1_1 absolutely n7_a_johnson_letter__1_4_2_1 necessary n7_a_johnson_letter__1_5_1 , n7_a_johnson_letter__1_6_1_1 for n7_a_johnson_letter__1_6_2_1_1 one n7_a_johnson_letter__1_6_2_2_1_1_1 very n7_a_johnson_letter__1_6_2_2_2_1 simple n7_a_johnson_letter__1_6_2_3_1 reason n7_a_johnson_letter__1_7_1 . n7_a_johnson_letter__1 IP-MAT n7_a_johnson_letter__1_1 CONJ;_cl_ n7_a_johnson_letter__1->n7_a_johnson_letter__1_1 n7_a_johnson_letter__1_2 NP-SBJ n7_a_johnson_letter__1->n7_a_johnson_letter__1_2 n7_a_johnson_letter__1_3 BEP;_La_ n7_a_johnson_letter__1->n7_a_johnson_letter__1_3 n7_a_johnson_letter__1_4 ADJP-PRD n7_a_johnson_letter__1->n7_a_johnson_letter__1_4 n7_a_johnson_letter__1_5 PUNC n7_a_johnson_letter__1->n7_a_johnson_letter__1_5 n7_a_johnson_letter__1_6 PP-NIM n7_a_johnson_letter__1->n7_a_johnson_letter__1_6 n7_a_johnson_letter__1_7 PUNC n7_a_johnson_letter__1->n7_a_johnson_letter__1_7 n7_a_johnson_letter__1_1->n7_a_johnson_letter__1_1_1 n7_a_johnson_letter__1_2_1 D n7_a_johnson_letter__1_2->n7_a_johnson_letter__1_2_1 n7_a_johnson_letter__1_2_2 N n7_a_johnson_letter__1_2->n7_a_johnson_letter__1_2_2 n7_a_johnson_letter__1_2_3 IP-REL n7_a_johnson_letter__1_2->n7_a_johnson_letter__1_2_3 n7_a_johnson_letter__1_2_1->n7_a_johnson_letter__1_2_1_1 n7_a_johnson_letter__1_2_2->n7_a_johnson_letter__1_2_2_1 n7_a_johnson_letter__1_2_3_1 NP-SBJ n7_a_johnson_letter__1_2_3->n7_a_johnson_letter__1_2_3_1 n7_a_johnson_letter__1_2_3_2 HVP;_cat_Ve_ n7_a_johnson_letter__1_2_3->n7_a_johnson_letter__1_2_3_2 n7_a_johnson_letter__1_2_3_3 IP-PPL-CAT n7_a_johnson_letter__1_2_3->n7_a_johnson_letter__1_2_3_3 n7_a_johnson_letter__1_2_3_1_1 PRO n7_a_johnson_letter__1_2_3_1->n7_a_johnson_letter__1_2_3_1_1 n7_a_johnson_letter__1_2_3_1_1->n7_a_johnson_letter__1_2_3_1_1_1 n7_a_johnson_letter__1_2_3_2->n7_a_johnson_letter__1_2_3_2_1 n7_a_johnson_letter__1_2_3_3_1 NP-OB1 n7_a_johnson_letter__1_2_3_3->n7_a_johnson_letter__1_2_3_3_1 n7_a_johnson_letter__1_2_3_3_2 VVN;_Tn_ n7_a_johnson_letter__1_2_3_3->n7_a_johnson_letter__1_2_3_3_2 n7_a_johnson_letter__1_2_3_3_1->n7_a_johnson_letter__1_2_3_3_1_1 n7_a_johnson_letter__1_2_3_3_2->n7_a_johnson_letter__1_2_3_3_2_1 n7_a_johnson_letter__1_3->n7_a_johnson_letter__1_3_1 n7_a_johnson_letter__1_4_1 ADVP n7_a_johnson_letter__1_4->n7_a_johnson_letter__1_4_1 n7_a_johnson_letter__1_4_2 ADJ n7_a_johnson_letter__1_4->n7_a_johnson_letter__1_4_2 n7_a_johnson_letter__1_4_1_1 ADV n7_a_johnson_letter__1_4_1->n7_a_johnson_letter__1_4_1_1 n7_a_johnson_letter__1_4_1_1->n7_a_johnson_letter__1_4_1_1_1 n7_a_johnson_letter__1_4_2->n7_a_johnson_letter__1_4_2_1 n7_a_johnson_letter__1_5->n7_a_johnson_letter__1_5_1 n7_a_johnson_letter__1_6_1 P-ROLE n7_a_johnson_letter__1_6->n7_a_johnson_letter__1_6_1 n7_a_johnson_letter__1_6_2 NP n7_a_johnson_letter__1_6->n7_a_johnson_letter__1_6_2 n7_a_johnson_letter__1_6_1->n7_a_johnson_letter__1_6_1_1 n7_a_johnson_letter__1_6_2_1 NUM n7_a_johnson_letter__1_6_2->n7_a_johnson_letter__1_6_2_1 n7_a_johnson_letter__1_6_2_2 ADJP n7_a_johnson_letter__1_6_2->n7_a_johnson_letter__1_6_2_2 n7_a_johnson_letter__1_6_2_3 N n7_a_johnson_letter__1_6_2->n7_a_johnson_letter__1_6_2_3 n7_a_johnson_letter__1_6_2_1->n7_a_johnson_letter__1_6_2_1_1 n7_a_johnson_letter__1_6_2_2_1 ADVP n7_a_johnson_letter__1_6_2_2->n7_a_johnson_letter__1_6_2_2_1 n7_a_johnson_letter__1_6_2_2_2 ADJ n7_a_johnson_letter__1_6_2_2->n7_a_johnson_letter__1_6_2_2_2 n7_a_johnson_letter__1_6_2_2_1_1 ADV n7_a_johnson_letter__1_6_2_2_1->n7_a_johnson_letter__1_6_2_2_1_1 n7_a_johnson_letter__1_6_2_2_1_1->n7_a_johnson_letter__1_6_2_2_1_1_1 n7_a_johnson_letter__1_6_2_2_2->n7_a_johnson_letter__1_6_2_2_2_1 n7_a_johnson_letter__1_6_2_3->n7_a_johnson_letter__1_6_2_3_1 n7_a_johnson_letter__1_7->n7_a_johnson_letter__1_7_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D the;{the})
                  (N action;{action})
                  (IP-REL (NP-SBJ (PRO we;{we}))
                          (HVP;_cat_Ve_ have;{have})
                          (IP-PPL-CAT (NP-OB1 *T*)
                                      (VVN;_Tn_ taken;{take}))))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADVP (ADV absolutely;{absolutely}))
                    (ADJ necessary;{necessary}))
          (PUNC ,)
          (PP-NIM (P-ROLE for;{for})
                  (NP (NUM one;{one})
                      (ADJP (ADVP (ADV very;{very}))
                            (ADJ simple;{simple}))
                      (N reason;{reason})))
          (PUNC .))
  (ID 7_a_johnson_letter))