arc(r_0020_0002__had, r_0020_0001__I, arg0).
arc(r_0020_0002__had, r_0020_0005__or, arg1).
arc(r_0020_0003__no_quant, r_0020_0002__had, scope).
arc(r_0020_0003__no_quant, r_0020_0005__or, restriction).
arc(r_0020_0005__or, r_0020_0004__experience, conj1).
arc(r_0020_0005__or, r_0020_0006__skills, conj2).

fof(formula,axiom,
    ! [R_0020_0005__OR,R_0020_0004__EXPERIENCE,R_0020_0006__SKILLS] :
      ( ( r_0020_0004__experience(R_0020_0004__EXPERIENCE)
        & r_0020_0006__skills(R_0020_0006__SKILLS)
        & r_0020_0005__or(R_0020_0005__OR)
        & has_conj2(R_0020_0005__OR,R_0020_0006__SKILLS)
        & has_conj1(R_0020_0005__OR,R_0020_0004__EXPERIENCE) )
     => ? [R_0020_0001__I,R_0020_0002__HAD] :
          ( r_0020_0001__I(R_0020_0001__I)
          & r_0020_0002__had(R_0020_0002__HAD)
          & has_arg1(R_0020_0002__HAD,R_0020_0005__OR)
          & has_arg0(R_0020_0002__HAD,R_0020_0001__I) ) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (Q no;{no})
                  (NLYR (NLYR (N experience;{experience}))
                        (CONJP (CONJ or;{or})
                               (NLYR (NS skills;{skill})))))
          (PUNC ...))
  (ID 20_a_goodwill))