arc(r_0035_0001__A_r_0035_0003__economy, r_0035_0002__robust, attrib7).
arc(r_0035_0004__helps, r_0035_0001__A_r_0035_0003__economy, arg0).
arc(r_0035_0005__by, r_0035_0004__helps, scope).
arc(r_0035_0005__by, r_0035_0006__providing, restriction).
arc(r_0035_0006__providing, r_0035_0001__A_r_0035_0003__economy, arg0).
arc(r_0035_0006__providing, r_0035_0007__job_r_0035_0008__opportunities, arg1).
arc(r_0035_0010__but, r_0035_0005__by, conj1).
arc(r_0035_0010__but, z_000_35_a_goodwill_31, conj2).
arc(r_0035_0011__to_r_0035_0012__be, r_0035_0013__honest, prd).
arc(r_0035_0011__to_r_0035_0012__be, z_000_35_a_goodwill_32, arg0).
arc(r_0035_0015__most_quant, r_0035_0024__are, scope).
arc(r_0035_0015__most_quant, z_000_35_a_goodwill_42, restriction).
arc(r_0035_0020__are, r_0035_0022__working, scope).
arc(r_0035_0021__n_apos_t, r_0035_0020__are, keep_scope).
arc(r_0035_0022__working, r_0035_0017__the_r_0035_0018__people, arg0).
arc(r_0035_0022__working, r_0035_0023__today, nim64).
arc(r_0035_0024__are, r_0035_0026__simply, nim69).
arc(r_0035_0024__are, r_0035_0027__the_r_0035_0028__ones, prd).
arc(r_0035_0024__are, z_000_35_a_goodwill_42, arg0).
arc(r_0035_0026__simply, r_0035_0025__quite, qual70).
arc(r_0035_0030__face, r_0035_0027__the_r_0035_0028__ones, arg0).
arc(r_0035_0030__face, r_0035_0031__the_r_0035_0033__obstacles, arg1).
arc(r_0035_0031__the_r_0035_0033__obstacles, r_0035_0032__greatest, attrib89).
arc(z_000_35_a_goodwill_31, r_0035_0011__to_r_0035_0012__be, restriction).
arc(z_000_35_a_goodwill_31, r_0035_0015__most_quant, scope).
arc(z_000_35_a_goodwill_42, r_0035_0017__the_r_0035_0018__people, r_0035_0016__of).

fof(formula,axiom,
    ? [R_35_10_BUT,R_35_5_BY,R_35_6_PROVIDING,R_35_7_JOB_OPPORTUNITIES,R_35_4_HELPS,R_35_1_A_ECONOMY,R_35_2_ROBUST,Z_35_A_GOODWILL_31,R_35_11_TO_BE,Z_35_A_GOODWILL_32,R_35_13_HONEST,R_35_30_FACE,R_35_27_THE_ONES,R_35_31_THE_OBSTACLES,R_35_32_GREATEST] :
      ( job_opportunities(R_35_7_JOB_OPPORTUNITIES)
      & robust(R_35_2_ROBUST)
      & honest(R_35_13_HONEST)
      & the_ones(R_35_27_THE_ONES)
      & greatest(R_35_32_GREATEST)
      & but(R_35_10_BUT)
      & conj1(R_35_10_BUT,R_35_5_BY)
      & by(R_35_5_BY)
      & conj1(R_35_5_BY,R_35_6_PROVIDING)
      & providing(R_35_6_PROVIDING,R_35_1_A_ECONOMY,R_35_7_JOB_OPPORTUNITIES)
      & a_economy(R_35_1_A_ECONOMY)
      & attrib7(R_35_1_A_ECONOMY,R_35_2_ROBUST)
      & conj2(R_35_5_BY,R_35_4_HELPS)
      & helps(R_35_4_HELPS,R_35_1_A_ECONOMY)
      & conj2(R_35_10_BUT,Z_35_A_GOODWILL_31)
      & ! [Z_35_A_GOODWILL_42,R_35_17_THE_PEOPLE] :
          ( ( the_people(R_35_17_THE_PEOPLE)
            & z_35_a_goodwill_42(Z_35_A_GOODWILL_42)
            & of(Z_35_A_GOODWILL_42,R_35_17_THE_PEOPLE) )
         => ? [R_35_24_ARE,R_35_26_SIMPLY,R_35_25_QUITE] :
              ( quite(R_35_25_QUITE)
              & are(R_35_24_ARE,Z_35_A_GOODWILL_42,R_35_27_THE_ONES)
              & nim69(R_35_24_ARE,R_35_26_SIMPLY)
              & simply(R_35_26_SIMPLY)
              & qual70(R_35_26_SIMPLY,R_35_25_QUITE) ) )
      & conj2(CONJ2)
      & z_35_a_goodwill_31(Z_35_A_GOODWILL_31)
      & conj1(Z_35_A_GOODWILL_31,R_35_11_TO_BE)
      & to_be(R_35_11_TO_BE,Z_35_A_GOODWILL_32,R_35_13_HONEST)
      & ~ ? [R_35_20_ARE_WORKING,R_35_17_THE_PEOPLE,R_35_23_TODAY] :
            ( the_people(R_35_17_THE_PEOPLE)
            & today(R_35_23_TODAY)
            & are_working(R_35_20_ARE_WORKING,R_35_17_THE_PEOPLE)
            & nim64(R_35_20_ARE_WORKING,R_35_23_TODAY) )
      & face(R_35_30_FACE,R_35_27_THE_ONES,R_35_31_THE_OBSTACLES)
      & the_obstacles(R_35_31_THE_OBSTACLES)
      & attrib89(R_35_31_THE_OBSTACLES,R_35_32_GREATEST) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
                              (ADJP (ADJ robust;{robust}))
                              (N economy;{economy}))
                      (VBP;_I_ helps;{help})
                      (PP-SCON (P-CONN by;{by})
                               (IP-PPL (VAG;_Tn_ providing;{provide})
                                       (NP-OB1 (N job;{job})
                                               (NS opportunities;{opportunity})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-SCON (IP-INF3 (TO to;{to})
                                               (BE;_La_ be;{be})
                                               (ADJP-PRD (ADJ honest;{honest}))))
                             (PUNC ,)
                             (NP-SBJ (Q;_nphd_ most;{most})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (NS people;{people})
                                             (IP-REL (NP-SBJ (RPRO who;{who}))
                                                     (BEP;_cat_Vg_ are;{be})
                                                     (NEG;_clitic_ n<apos>t;{not})
                                                     (IP-PPL-CAT (VAG;_I_ working;{work})
                                                                 (ADVP-NIM (ADV today;{today})))))))
                             (BEP;_Ln_ are;{be})
                             (ADVP-NIM (ADVP (ADV quite;{quite}))
                                       (ADV simply;{simply}))
                             (NP-PRD (D the;{the})
                                     (NS ones;{one})
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (VBP;_Tn_ face;{face})
                                             (NP-OB1 (D the;{the})
                                                     (ADJP (ADJS greatest;{great}))
                                                     (NS obstacles;{obstacle})))))))
          (PUNC .))
  (ID 35_a_goodwill))