( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{PIERS} (PRO You;{you}))
          (VBP;_I_ talk;{talk})
          (PP-SCON (P-CONN as_though;{as_though})
                   (IP-ADV (NP-SBJ;{BERYL+FORREST} (PRO we;{we}))
                           (BED;_La_ were;{be})
                           (ADJP-PRD (ADJ alone;{alone}))
                           (PP-NIM (P-ROLE on;{on})
                                   (NP (NPR Balicou;{Balicou})))))
          (PUNC !)
          (PURQ <rquo>))
  (ID 64_a_lob_n02))

arc(r_0064_0003__talk,r_0064_0002__You,arg0).
arc(r_0064_0004__as_though,r_0064_0003__talk,scope).
arc(r_0064_0004__as_though,r_0064_0006__were,restriction).
arc(r_0064_0006__were,r_0064_0005__we,arg0).
arc(r_0064_0006__were,r_0064_0007__alone,prd).
arc(r_0064_0006__were,r_0064_0009__Balicou,r_0064_0008__on__nim).

fof(formula,axiom,
    ? [R_0064_0002__YOU,R_0064_0003__TALK,R_0064_0005__WE,R_0064_0007__ALONE,R_0064_0009__BALICOU,R_0064_0006__WERE,R_0064_0004__AS_THOUGH] :
      ( r_0064_0002__You(R_0064_0002__YOU)
      & r_0064_0005__we(R_0064_0005__WE)
      & r_0064_0007__alone(R_0064_0007__ALONE)
      & r_0064_0009__Balicou(R_0064_0009__BALICOU)
      & r_0064_0004__as_though(R_0064_0004__AS_THOUGH)
      & has_conj1(R_0064_0004__AS_THOUGH,R_0064_0006__WERE)
      & r_0064_0006__were(R_0064_0006__WERE)
      & has_r_0064_0008__on__nim(R_0064_0006__WERE,R_0064_0009__BALICOU)
      & has_prd(R_0064_0006__WERE,R_0064_0007__ALONE)
      & has_arg0(R_0064_0006__WERE,R_0064_0005__WE)
      & has_conj2(R_0064_0004__AS_THOUGH,R_0064_0003__TALK)
      & r_0064_0003__talk(R_0064_0003__TALK)
      & has_arg0(R_0064_0003__TALK,R_0064_0002__YOU) ) ).