arc(utterance_154_a_stuck_japan_4, r_0154_0004__all_quant, part1).
arc(r_0154_0002__Is, r_0154_0003__that, arg0).
arc(r_0154_0002__Is, z_000_154_a_stuck_japan_12, prd).
arc(r_0154_0004__all_quant, r_0154_0002__Is, scope).
arc(r_0154_0004__all_quant, z_000_154_a_stuck_japan_12, restriction).
arc(r_0154_0006__have, r_0154_0005__you, arg0).
arc(r_0154_0006__have, z_000_154_a_stuck_japan_12, arg1).
arc(r_0154_0010__thought, utterance_154_a_stuck_japan_4, arg1).
arc(r_0154_0010__thought, r_0154_0009__I, arg0).

fof(formula,axiom,
    ? [UTTERANCE_154_A_STUCK_JAPAN_4,R_0154_0009__I,R_0154_0010__THOUGHT] :
      ( r_0154_0009__I(R_0154_0009__I)
      & r_0154_0010__thought(R_0154_0010__THOUGHT)
      & has_arg0(R_0154_0010__THOUGHT,R_0154_0009__I)
      & has_arg1(R_0154_0010__THOUGHT,UTTERANCE_154_A_STUCK_JAPAN_4)
      & utterance_154_a_stuck_japan_4(UTTERANCE_154_A_STUCK_JAPAN_4)
      & ! [Z_000_154_A_STUCK_JAPAN_12,R_0154_0005__YOU,R_0154_0006__HAVE] :
          ( ( r_0154_0005__you(R_0154_0005__YOU)
            & z_000_154_a_stuck_japan_12(Z_000_154_A_STUCK_JAPAN_12)
            & r_0154_0006__have(R_0154_0006__HAVE)
            & has_arg1(R_0154_0006__HAVE,Z_000_154_A_STUCK_JAPAN_12)
            & has_arg0(R_0154_0006__HAVE,R_0154_0005__YOU) )
         => ? [R_0154_0003__THAT,R_0154_0002__IS] :
              ( r_0154_0003__that(R_0154_0003__THAT)
              & r_0154_0002__Is(R_0154_0002__IS)
              & has_prd(R_0154_0002__IS,Z_000_154_A_STUCK_JAPAN_12)
              & has_arg0(R_0154_0002__IS,R_0154_0003__THAT) ) ) ) ).

( (IP-MAT (PURQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_Ln_ Is;{be})
                                             (NP-SBJ (D that;{that}))
                                             (NP-PRD (Q;_nphd_ all;{all})
                                                     (IP-REL (NP-OB1 *T*)
                                                             (NP-SBJ (PRO you;{you}))
                                                             (HVP;_Tn_ have;{have}))))
                                     (PUNC ?)))
          (PULQ <rdquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ thought;{think})
          (PUNC .))
  (ID 154_a_stuck_japan))