( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (D a;{a})
                  (N composition;{composition}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ giving;{give})
                            (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                    (N opinion;{opinion}))))
          (PUNC .))
  (ID 40_a_fce_0100_2001_06))

arc(r_0040_0001__Write,r_0040_0002__a_r_0040_0003__composition,arg1).
arc(r_0040_0001__Write,z_0040_5002,arg0).
arc(r_0040_0005__giving,r_0040_0007__opinion,arg1).
arc(r_0040_0005__giving,z_0040_5002,arg0).
arc(r_0040_0007__opinion,r_0040_0006__your,gen).
arc(z_0040_5004,r_0040_0001__Write,scope).
arc(z_0040_5004,r_0040_0005__giving,restriction).

fof(formula,axiom,
    ? [R_0040_0002__A_R_0040_0003__COMPOSITION,Z_0040_5002,R_0040_0001__WRITE,R_0040_0006__YOUR,R_0040_0007__OPINION,R_0040_0005__GIVING,Z_0040_5004] :
      ( r_0040_0002__a_r_0040_0003__composition(R_0040_0002__A_R_0040_0003__COMPOSITION)
      & r_0040_0006__your(R_0040_0006__YOUR)
      & z_0040_5002(Z_0040_5002)
      & z_0040_5004(Z_0040_5004)
      & has_conj1(Z_0040_5004,R_0040_0005__GIVING)
      & r_0040_0005__giving(R_0040_0005__GIVING)
      & has_arg0(R_0040_0005__GIVING,Z_0040_5002)
      & has_arg1(R_0040_0005__GIVING,R_0040_0007__OPINION)
      & r_0040_0007__opinion(R_0040_0007__OPINION)
      & has_gen(R_0040_0007__OPINION,R_0040_0006__YOUR)
      & has_conj2(Z_0040_5004,R_0040_0001__WRITE)
      & r_0040_0001__Write(R_0040_0001__WRITE)
      & has_arg0(R_0040_0001__WRITE,Z_0040_5002)
      & has_arg1(R_0040_0001__WRITE,R_0040_0002__A_R_0040_0003__COMPOSITION) ) ).