( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (PRO It;{it}))
          (BEP;_cat_Vg_ <apos>s;{be})
          (IP-PPL-CAT (ILYR (ILYR (VAG;_Ipr_ listening;{listen[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP;{DORLE+NASHA+TANCE} (PRO us;{we}))))
                            (PUNC ,)
                            (CONJP (ILYR (VAG;_Tn_ watching;{watch})
                                         (NP-OB1;{DORLE+NASHA+TANCE} (PRO us;{we}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 318_a_dick_1952))

arc(r_0318_0003___apos_s,z_0318_5002,scope).
arc(r_0318_0004__listening_r_0318_0005__to,r_0318_0002__It,arg0).
arc(r_0318_0004__listening_r_0318_0005__to,r_0318_0006__us,arg1).
arc(r_0318_0008__watching,r_0318_0002__It,arg0).
arc(r_0318_0008__watching,r_0318_0006__us,arg1).
arc(z_0318_5002,r_0318_0004__listening_r_0318_0005__to,conj1).
arc(z_0318_5002,r_0318_0008__watching,conj2).

fof(formula,axiom,
    ? [R_0318_0002__IT,R_0318_0006__US,R_0318_0004__LISTENING_R_0318_0005__TO,R_0318_0008__WATCHING,Z_0318_5002,R_0318_0003___APOS_S] :
      ( r_0318_0002__It(R_0318_0002__IT)
      & r_0318_0006__us(R_0318_0006__US)
      & r_0318_0003___apos_s(R_0318_0003___APOS_S)
      & has_keep_scope(R_0318_0003___APOS_S,Z_0318_5002)
      & z_0318_5002(Z_0318_5002)
      & has_conj2(Z_0318_5002,R_0318_0008__WATCHING)
      & r_0318_0008__watching(R_0318_0008__WATCHING)
      & has_arg1(R_0318_0008__WATCHING,R_0318_0006__US)
      & has_arg0(R_0318_0008__WATCHING,R_0318_0002__IT)
      & has_conj1(Z_0318_5002,R_0318_0004__LISTENING_R_0318_0005__TO)
      & r_0318_0004__listening_r_0318_0005__to(R_0318_0004__LISTENING_R_0318_0005__TO)
      & has_arg1(R_0318_0004__LISTENING_R_0318_0005__TO,R_0318_0006__US)
      & has_arg0(R_0318_0004__LISTENING_R_0318_0005__TO,R_0318_0002__IT) ) ).