( (IP-IMP (CONJ;_cl_ But;{but})
          (VB;_Cn.i_ let;{let})
          (NP-OB1;{PERSONS} (PRO <apos>s;{we}))
          (IP-INF-PRD (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ real;{real})))
          (PUNC .))
  (ID 49_a_duplex))

arc(r_0049_0002__let,r_0049_0003___apos_s,arg1).
arc(r_0049_0002__let,r_0049_0004__be,prd).
arc(r_0049_0002__let,z_0049_5002,arg0).
arc(r_0049_0004__be,r_0049_0005__real,prd).
arc(r_0049_0004__be,z_0049_5005,arg0).

fof(formula,axiom,
    ? [R_0049_0003___APOS_S,R_0049_0005__REAL,Z_0049_5005,R_0049_0004__BE,Z_0049_5002,R_0049_0002__LET] :
      ( r_0049_0003___apos_s(R_0049_0003___APOS_S)
      & r_0049_0005__real(R_0049_0005__REAL)
      & z_0049_5002(Z_0049_5002)
      & z_0049_5005(Z_0049_5005)
      & r_0049_0002__let(R_0049_0002__LET)
      & has_arg0(R_0049_0002__LET,Z_0049_5002)
      & has_prd(R_0049_0002__LET,R_0049_0004__BE)
      & r_0049_0004__be(R_0049_0004__BE)
      & has_arg0(R_0049_0004__BE,Z_0049_5005)
      & has_prd(R_0049_0004__BE,R_0049_0005__REAL)
      & has_arg1(R_0049_0002__LET,R_0049_0003___APOS_S) ) ).