arc(r_0004_0002__want, r_0004_0001__We, arg0).
arc(r_0004_0002__want, r_0004_0004__to_r_0004_0005__Know, arg1).
arc(r_0004_0004__to_r_0004_0005__Know, r_0004_0003__you, arg0).
arc(r_0004_0004__to_r_0004_0005__Know, r_0004_0011__is, arg1).
arc(r_0004_0008__support, r_0004_0003__you, gen).
arc(r_0004_0008__support, r_0004_0010__Goodwill, r_0004_0009__of).
arc(r_0004_0011__is, r_0004_0006__why, nim17).
arc(r_0004_0011__is, r_0004_0008__support, arg0).
arc(r_0004_0011__is, r_0004_0013__important, prd).
arc(r_0004_0013__important, r_0004_0012__so, qual35).

fof(formula,axiom,
    ? [R_0004_0001__WE,R_0004_0003__YOU,R_0004_0006__WHY,R_0004_0010__GOODWILL,R_0004_0008__SUPPORT,R_0004_0012__SO,R_0004_0013__IMPORTANT,R_0004_0011__IS,R_0004_0004__TO_R_0004_0005__KNOW,R_0004_0002__WANT] :
      ( r_0004_0001__We(R_0004_0001__WE)
      & r_0004_0003__you(R_0004_0003__YOU)
      & r_0004_0006__why(R_0004_0006__WHY)
      & r_0004_0010__Goodwill(R_0004_0010__GOODWILL)
      & r_0004_0012__so(R_0004_0012__SO)
      & r_0004_0002__want(R_0004_0002__WANT)
      & has_arg1(R_0004_0002__WANT,R_0004_0004__TO_R_0004_0005__KNOW)
      & r_0004_0004__to_r_0004_0005__Know(R_0004_0004__TO_R_0004_0005__KNOW)
      & has_arg1(R_0004_0004__TO_R_0004_0005__KNOW,R_0004_0011__IS)
      & r_0004_0011__is(R_0004_0011__IS)
      & has_prd(R_0004_0011__IS,R_0004_0013__IMPORTANT)
      & r_0004_0013__important(R_0004_0013__IMPORTANT)
      & has_qual35(R_0004_0013__IMPORTANT,R_0004_0012__SO)
      & has_arg0(R_0004_0011__IS,R_0004_0008__SUPPORT)
      & r_0004_0008__support(R_0004_0008__SUPPORT)
      & has_r_0004_0009__of(R_0004_0008__SUPPORT,R_0004_0010__GOODWILL)
      & has_gen(R_0004_0008__SUPPORT,R_0004_0003__YOU)
      & has_nim17(R_0004_0011__IS,R_0004_0006__WHY)
      & has_arg0(R_0004_0004__TO_R_0004_0005__KNOW,R_0004_0003__YOU)
      & has_arg0(R_0004_0002__WANT,R_0004_0001__WE) ) ).

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBP;_Tnt_ want;{want})
          (NP-DOB1 (PRO you;{you}))
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tw_ Know;{know})
                      (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                                          (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
                                                  (N support;{support})
                                                  (PP (P-ROLE of;{of})
                                                      (NP;{GOODWILL} (NPR Goodwill;{Goodwill}))))
                                          (BEP;_La_ is;{be})
                                          (ADJP-PRD (ADVP (ADV so;{so}))
                                                    (ADJ important;{important})))))
          (PUNC .))
  (ID 4_a_goodwill))