( (IP-IMP (ILYR (ILYR (VB;_I_ Write;{write}))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Dn.w_ tell;{tell})
                             (NP-OB2 (PRO us;{we}))
                             (CP-QUE-OB1 (IP-SUB (NP-122 (WD what;{what})
                                                         (N difference;{difference}))
                                                 (NP-SBJ (D;_nphd_ this;{this}))
                                                 (MD;_cat_Vi_ would;{will})
                                                 (IP-INF-CAT (NP-OB1 *ICH*-122)
                                                             (VB;_Tn_ make;{make})
                                                             (PP-NIM (P-ROLE to;{to})
                                                                     (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                                         (N life;{life})))))))))
          (PUNC .))
  (ID 23_a_fce_0102_2001_12))

arc(r_0023_0001__Write,z_0023_5002,arg0).
arc(r_0023_0002__and,r_0023_0001__Write,conj1).
arc(r_0023_0002__and,r_0023_0003__tell,conj2).
arc(r_0023_0003__tell,r_0023_0004__us,arg2).
arc(r_0023_0003__tell,r_0023_0008__would,arg1).
arc(r_0023_0003__tell,z_0023_5002,arg0).
arc(r_0023_0008__would,r_0023_0009__make,scope).
arc(r_0023_0009__make,r_0023_0005__what_r_0023_0006__difference,arg1).
arc(r_0023_0009__make,r_0023_0007__this,arg0).
arc(r_0023_0009__make,r_0023_0012__life,r_0023_0010__to__nim).
arc(r_0023_0012__life,r_0023_0011__your,gen).

fof(formula,axiom,
    ? [Z_0023_5002,R_0023_0001__WRITE,R_0023_0004__US,R_0023_0005__WHAT_R_0023_0006__DIFFERENCE,R_0023_0007__THIS,R_0023_0011__YOUR,R_0023_0012__LIFE,R_0023_0008__WOULD_R_0023_0009__MAKE,R_0023_0003__TELL,R_0023_0002__AND] :
      ( r_0023_0004__us(R_0023_0004__US)
      & r_0023_0005__what_r_0023_0006__difference(R_0023_0005__WHAT_R_0023_0006__DIFFERENCE)
      & r_0023_0007__this(R_0023_0007__THIS)
      & r_0023_0011__your(R_0023_0011__YOUR)
      & z_0023_5002(Z_0023_5002)
      & r_0023_0002__and(R_0023_0002__AND)
      & has_conj2(R_0023_0002__AND,R_0023_0003__TELL)
      & r_0023_0003__tell(R_0023_0003__TELL)
      & has_arg0(R_0023_0003__TELL,Z_0023_5002)
      & has_arg1(R_0023_0003__TELL,R_0023_0008__WOULD_R_0023_0009__MAKE)
      & r_0023_0008__would_r_0023_0009__make(R_0023_0008__WOULD_R_0023_0009__MAKE)
      & has_r_0023_0010__to__nim(R_0023_0008__WOULD_R_0023_0009__MAKE,R_0023_0012__LIFE)
      & r_0023_0012__life(R_0023_0012__LIFE)
      & has_gen(R_0023_0012__LIFE,R_0023_0011__YOUR)
      & has_arg0(R_0023_0008__WOULD_R_0023_0009__MAKE,R_0023_0007__THIS)
      & has_arg1(R_0023_0008__WOULD_R_0023_0009__MAKE,R_0023_0005__WHAT_R_0023_0006__DIFFERENCE)
      & has_arg2(R_0023_0003__TELL,R_0023_0004__US)
      & has_conj1(R_0023_0002__AND,R_0023_0001__WRITE)
      & r_0023_0001__Write(R_0023_0001__WRITE)
      & has_arg0(R_0023_0001__WRITE,Z_0023_5002) ) ).