( (IP-MAT (NP-NIM (Q Each;{each})
                  (N year;{year}))
          (PUNC ,)
          (NP-SBJ (PRO we;{we}))
          (VBP;_Tn_ help;{help})
          (NP-OB1 (NS thousands;{thousand})
                  (PP (P-ROLE of;{of})
                      (NP;{PERSONS} (NS people;{people})
                                    (IP-REL (NP-SBJ (RPRO who;{who}))
                                            (VBP;_Tn_ face;{face})
                                            (NP-OB1 (ADJP (ADJ tremendous;{tremendous}))
                                                    (NS obstacles;{obstacle}))))))
          (PUNC .))
  (ID 33_a_goodwill))

arc(r_0033_0001__Each__quant,r_0033_0002__year,restriction).
arc(r_0033_0001__Each__quant,r_0033_0005__help,scope).
arc(r_0033_0005__help,r_0033_0002__year,nim).
arc(r_0033_0005__help,r_0033_0004__we,arg0).
arc(r_0033_0005__help,r_0033_0006__thousands,arg1).
arc(r_0033_0006__thousands,r_0033_0008__people,r_0033_0007__of).
arc(r_0033_0010__face,r_0033_0008__people,arg0).
arc(r_0033_0010__face,r_0033_0012__obstacles,arg1).
arc(r_0033_0012__obstacles,r_0033_0011__tremendous,attrib).

fof(formula,axiom,
    ? [R_0033_0008__PEOPLE,R_0033_0011__TREMENDOUS,R_0033_0012__OBSTACLES,R_0033_0010__FACE] :
      ( r_0033_0008__people(R_0033_0008__PEOPLE)
      & r_0033_0011__tremendous(R_0033_0011__TREMENDOUS)
      & r_0033_0010__face(R_0033_0010__FACE)
      & has_arg1(R_0033_0010__FACE,R_0033_0012__OBSTACLES)
      & r_0033_0012__obstacles(R_0033_0012__OBSTACLES)
      & has_attrib(R_0033_0012__OBSTACLES,R_0033_0011__TREMENDOUS)
      & has_arg0(R_0033_0010__FACE,R_0033_0008__PEOPLE)
      & ! [R_0033_0002__YEAR] :
          ( r_0033_0002__year(R_0033_0002__YEAR)
         => ? [R_0033_0004__WE,R_0033_0006__THOUSANDS,R_0033_0005__HELP] :
              ( r_0033_0004__we(R_0033_0004__WE)
              & r_0033_0005__help(R_0033_0005__HELP)
              & has_arg1(R_0033_0005__HELP,R_0033_0006__THOUSANDS)
              & r_0033_0006__thousands(R_0033_0006__THOUSANDS)
              & has_r_0033_0007__of(R_0033_0006__THOUSANDS,R_0033_0008__PEOPLE)
              & has_arg0(R_0033_0005__HELP,R_0033_0004__WE)
              & has_nim(R_0033_0005__HELP,R_0033_0002__YEAR) ) ) ) ).