arc(r_0039_0002__now, r_0039_0001__Right, qual3).
arc(r_0039_0004__there_r_0039_0005__are, r_0039_0002__now, nim2).
arc(r_0039_0004__there_r_0039_0005__are, r_0039_0006__thousands, arg0).
arc(r_0039_0006__thousands, r_0039_0008__people, r_0039_0007__of).
arc(r_0039_0010__do_r_0039_0012__know, r_0039_0008__people, arg0).
arc(r_0039_0010__do_r_0039_0012__know, r_0039_0015__feels, arg1).
arc(r_0039_0011__not, r_0039_0010__do_r_0039_0012__know, keep_scope).
arc(r_0039_0015__feels, r_0039_0013__what, r_0039_0016__like_clr46).
arc(r_0039_0015__feels, r_0039_0017__to_r_0039_0018__support, arg0).
arc(r_0039_0017__to_r_0039_0018__support, r_0039_0006__thousands, arg1).
arc(r_0039_0017__to_r_0039_0018__support, z_000_39_a_goodwill_38, arg0).

fof(formula,axiom,
    ? [R_0039_0001__RIGHT,R_0039_0002__NOW,R_0039_0008__PEOPLE,R_0039_0006__THOUSANDS,R_0039_0004__THERE_R_0039_0005__ARE] :
      ( r_0039_0001__Right(R_0039_0001__RIGHT)
      & r_0039_0008__people(R_0039_0008__PEOPLE)
      & ~ ? [R_0039_0013__WHAT,Z_000_39_A_GOODWILL_38,R_0039_0017__TO_R_0039_0018__SUPPORT,R_0039_0015__FEELS,R_0039_0010__DO_R_0039_0012__KNOW] :
            ( r_0039_0013__what(R_0039_0013__WHAT)
            & z_000_39_a_goodwill_38(Z_000_39_A_GOODWILL_38)
            & r_0039_0010__do_r_0039_0012__know(R_0039_0010__DO_R_0039_0012__KNOW)
            & has_arg1(R_0039_0010__DO_R_0039_0012__KNOW,R_0039_0015__FEELS)
            & r_0039_0015__feels(R_0039_0015__FEELS)
            & has_arg0(R_0039_0015__FEELS,R_0039_0017__TO_R_0039_0018__SUPPORT)
            & r_0039_0017__to_r_0039_0018__support(R_0039_0017__TO_R_0039_0018__SUPPORT)
            & has_arg0(R_0039_0017__TO_R_0039_0018__SUPPORT,Z_000_39_A_GOODWILL_38)
            & has_arg1(R_0039_0017__TO_R_0039_0018__SUPPORT,R_0039_0006__THOUSANDS)
            & has_r_0039_0016__like_clr46(R_0039_0015__FEELS,R_0039_0013__WHAT)
            & has_arg0(R_0039_0010__DO_R_0039_0012__KNOW,R_0039_0008__PEOPLE) )
      & r_0039_0004__there_r_0039_0005__are(R_0039_0004__THERE_R_0039_0005__ARE)
      & has_arg0(R_0039_0004__THERE_R_0039_0005__ARE,R_0039_0006__THOUSANDS)
      & r_0039_0006__thousands(R_0039_0006__THOUSANDS)
      & has_r_0039_0007__of(R_0039_0006__THOUSANDS,R_0039_0008__PEOPLE)
      & has_nim2(R_0039_0004__THERE_R_0039_0005__ARE,R_0039_0002__NOW)
      & r_0039_0002__now(R_0039_0002__NOW)
      & has_qual3(R_0039_0002__NOW,R_0039_0001__RIGHT) ) ).

( (IP-MAT (ADVP-NIM (ADVP (ADV Right;{right}))
                    (ADV now;{now}))
          (PUNC ,)
          (EX there;{there})
          (BEP;_ex_V_ are;{be})
          (NP-ESBJ (NS thousands;{thousand})
                   (PP (P-ROLE of;{of})
                       (NP;{PERSONS} (NS people;{people})
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (DOP do;{do})
                                             (NEG not;{not})
                                             (VB;_Tw_ know;{know})
                                             (CP-QUE-OB1 (IP-SUB (NP-132 (WPRO what;{what}))
                                                                 (NP-SBJ (PRO;_provisional_ it;{it}))
                                                                 (VBP;_Ipr_ feels;{feel[like]})
                                                                 (PP-CLR (P-ROLE like;{like})
                                                                         (NP *ICH*-132))
                                                                 (IP-INF-NSBJ (TO to;{to})
                                                                              (VB;_Tn_ support;{support})
                                                                              (NP-OB1 (PNX themselves;{themselves})))))))))
          (PUNC .))
  (ID 39_a_goodwill))