TSPC 7_a_johnson

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

( (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))

arc(r_0007_0005__have,r_0007_0006__taken,scope).
arc(r_0007_0006__taken,r_0007_0002__the_r_0007_0003__action,inv_arg1).
arc(r_0007_0006__taken,r_0007_0004__we,arg0).
arc(r_0007_0007__is,r_0007_0002__the_r_0007_0003__action,arg0).
arc(r_0007_0007__is,r_0007_0009__necessary,prd).
arc(r_0007_0007__is,r_0007_0012__one_r_0007_0015__reason,r_0007_0011__for__nim).
arc(r_0007_0009__necessary,r_0007_0008__absolutely,qual).
arc(r_0007_0012__one_r_0007_0015__reason,r_0007_0014__simple,attrib).
arc(r_0007_0014__simple,r_0007_0013__very,qual).

fof(formula,axiom,
    ? [R_0007_0004__WE,R_0007_0005__HAVE_R_0007_0006__TAKEN,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_0007__IS] :
      ( 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_0007__is(R_0007_0007__IS)
      & has_r_0007_0011__for__nim(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_attrib(R_0007_0012__ONE_R_0007_0015__REASON,R_0007_0014__SIMPLE)
      & r_0007_0014__simple(R_0007_0014__SIMPLE)
      & has_qual(R_0007_0014__SIMPLE,R_0007_0013__VERY)
      & has_prd(R_0007_0007__IS,R_0007_0009__NECESSARY)
      & r_0007_0009__necessary(R_0007_0009__NECESSARY)
      & has_qual(R_0007_0009__NECESSARY,R_0007_0008__ABSOLUTELY)
      & has_arg0(R_0007_0007__IS,R_0007_0002__THE_R_0007_0003__ACTION)
      & r_0007_0002__the_r_0007_0003__action(R_0007_0002__THE_R_0007_0003__ACTION)
      & has_inv_arg1(R_0007_0002__THE_R_0007_0003__ACTION,R_0007_0005__HAVE_R_0007_0006__TAKEN)
      & 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) ) ).