( (IP-IMP (VB;_Tn_ Write;{write})
          (NP-OB1 (D a;{a})
                  (N composition;{composition}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ explaining;{explain})
                            (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                    (NS views;{view}))))
          (PUNC .))
  (ID 40_a_fce_0102_2001_03))

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__explaining,r_0040_0007__views,arg1).
arc(r_0040_0005__explaining,z_0040_5002,arg0).
arc(r_0040_0007__views,r_0040_0006__your,gen).
arc(z_0040_5004,r_0040_0001__Write,scope).
arc(z_0040_5004,r_0040_0005__explaining,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__VIEWS,R_0040_0005__EXPLAINING,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__EXPLAINING)
      & r_0040_0005__explaining(R_0040_0005__EXPLAINING)
      & has_arg0(R_0040_0005__EXPLAINING,Z_0040_5002)
      & has_arg1(R_0040_0005__EXPLAINING,R_0040_0007__VIEWS)
      & r_0040_0007__views(R_0040_0007__VIEWS)
      & has_gen(R_0040_0007__VIEWS,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) ) ).