( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO We;{we}))
                                 (MD;_cat_Vi_ <apos>ll;{will})
                                 (IP-PPL-CAT (BE;_cat_Vg_ be;{be})
                                             (IP-PPL-CAT (VAG;_Tn_ voting;{vote})
                                                         (NP-OB1 (NPR LDP;{LDP}))))))
          (PUNC ,)
          (PULQ <ldquo>)
          (NP-SBJ (D the;{the})
                  (N husband;{husband}))
          (VBD;__ said;{say})
          (PUNC .))
  (ID 133_a_stuck_japan))

arc(r_0133_0003___apos_ll,r_0133_0004__be,scope).
arc(r_0133_0004__be,r_0133_0005__voting,scope).
arc(r_0133_0005__voting,r_0133_0002__We,arg0).
arc(r_0133_0005__voting,r_0133_0006__LDP,arg1).
arc(r_0133_0011__said,r_0133_0009__the_r_0133_0010__husband,arg0).
arc(r_0133_0011__said,z_0133_5002__utterance,arg1).
arc(z_0133_5002__utterance,r_0133_0003___apos_ll,part1).

fof(formula,axiom,
    ? [R_0133_0009__THE_R_0133_0010__HUSBAND,R_0133_0002__WE,R_0133_0006__LDP,R_0133_0003___APOS_LL_R_0133_0004__BE_R_0133_0005__VOTING,Z_0133_5002__UTTERANCE,R_0133_0011__SAID] :
      ( r_0133_0002__We(R_0133_0002__WE)
      & r_0133_0006__LDP(R_0133_0006__LDP)
      & r_0133_0009__the_r_0133_0010__husband(R_0133_0009__THE_R_0133_0010__HUSBAND)
      & r_0133_0011__said(R_0133_0011__SAID)
      & has_arg1(R_0133_0011__SAID,Z_0133_5002__UTTERANCE)
      & z_0133_5002__utterance(Z_0133_5002__UTTERANCE)
      & has_part1(Z_0133_5002__UTTERANCE,R_0133_0003___APOS_LL_R_0133_0004__BE_R_0133_0005__VOTING)
      & r_0133_0003___apos_ll_r_0133_0004__be_r_0133_0005__voting(R_0133_0003___APOS_LL_R_0133_0004__BE_R_0133_0005__VOTING)
      & has_arg1(R_0133_0003___APOS_LL_R_0133_0004__BE_R_0133_0005__VOTING,R_0133_0006__LDP)
      & has_arg0(R_0133_0003___APOS_LL_R_0133_0004__BE_R_0133_0005__VOTING,R_0133_0002__WE)
      & has_arg0(R_0133_0011__SAID,R_0133_0009__THE_R_0133_0010__HUSBAND) ) ).