( (IP-MAT;{BRING_OFF} (PULQ <lquo>)
                      (NP-137 (WPRO What;{what}))
                      (NP-SBJ;{PARTNERS} (PRO they;{they}))
                      (MD;_cat_Vi_ can;{can})
                      (IP-INF-CAT (NP-OB1 *ICH*-137)
                                  (VB;_phr_Vn<=>p_ bring;{bring[off]})
                                  (RP off;{off}))
                      (PUNC !))
  (ID 96_a_lob_n02))

arc(r_0096_0004__can,r_0096_0005__bring_r_0096_0006__off,scope).
arc(r_0096_0005__bring_r_0096_0006__off,r_0096_0002__What,arg1).
arc(r_0096_0005__bring_r_0096_0006__off,r_0096_0003__they,arg0).

fof(formula,axiom,
    ? [R_0096_0002__WHAT,R_0096_0003__THEY,R_0096_0004__CAN_R_0096_0005__BRING_R_0096_0006__OFF] :
      ( r_0096_0002__What(R_0096_0002__WHAT)
      & r_0096_0003__they(R_0096_0003__THEY)
      & r_0096_0004__can_r_0096_0005__bring_r_0096_0006__off(R_0096_0004__CAN_R_0096_0005__BRING_R_0096_0006__OFF)
      & has_arg0(R_0096_0004__CAN_R_0096_0005__BRING_R_0096_0006__OFF,R_0096_0003__THEY)
      & has_arg1(R_0096_0004__CAN_R_0096_0005__BRING_R_0096_0006__OFF,R_0096_0002__WHAT) ) ).