arc(utterance_133_a_stuck_japan_4, r_0133_0003___apos_ll, part1).
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, utterance_133_a_stuck_japan_4, arg1).
arc(r_0133_0011__said, r_0133_0009__the_r_0133_0010__husband, arg0).

fof(formula,axiom,
    ? [R_133_11_SAID,R_133_9_THE_HUSBAND,UTTERANCE_133_A_STUCK_JAPAN_4,R_133_3__APOS_LL_BE_VOTING,R_133_2_WE,R_133_6_LDP] :
      ( the_husband(R_133_9_THE_HUSBAND)
      & we(R_133_2_WE)
      & lDP(R_133_6_LDP)
      & said(R_133_11_SAID,R_133_9_THE_HUSBAND,UTTERANCE_133_A_STUCK_JAPAN_4)
      & utterance_133_a_stuck_japan_4(UTTERANCE_133_A_STUCK_JAPAN_4)
      & part1(UTTERANCE_133_A_STUCK_JAPAN_4,R_133_3__APOS_LL_BE_VOTING)
      & _apos_ll_be_voting(R_133_3__APOS_LL_BE_VOTING,R_133_2_WE,R_133_6_LDP) ) ).

( (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))