( (IP-MAT (NP-SBJ (NS Inventions;{invention}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tn_ affected;{affect})
                      (NP-OB1 (Q all;{all})
                              (NP-GEN (PRO;_genm_ our;{our}))
                              (NS lives;{life})))
          (PUNC !))
  (ID 26_a_fce_0100_2001_06))

arc(r_0026_0002__have,r_0026_0003__affected,scope).
arc(r_0026_0003__affected,r_0026_0001__Inventions,arg0).
arc(r_0026_0003__affected,r_0026_0006__lives,arg1).
arc(r_0026_0004__all__quant,r_0026_0002__have,scope).
arc(r_0026_0004__all__quant,r_0026_0006__lives,restriction).
arc(r_0026_0006__lives,r_0026_0005__our,gen).

fof(formula,axiom,
    ! [R_0026_0006__LIVES,R_0026_0005__OUR] :
      ( ( r_0026_0005__our(R_0026_0005__OUR)
        & r_0026_0006__lives(R_0026_0006__LIVES)
        & has_gen(R_0026_0006__LIVES,R_0026_0005__OUR) )
     => ? [R_0026_0001__INVENTIONS,R_0026_0002__HAVE_R_0026_0003__AFFECTED] :
          ( r_0026_0001__Inventions(R_0026_0001__INVENTIONS)
          & r_0026_0002__have_r_0026_0003__affected(R_0026_0002__HAVE_R_0026_0003__AFFECTED)
          & has_arg1(R_0026_0002__HAVE_R_0026_0003__AFFECTED,R_0026_0006__LIVES)
          & has_arg0(R_0026_0002__HAVE_R_0026_0003__AFFECTED,R_0026_0001__INVENTIONS) ) ) ).