arc(utterance_153_a_stuck_japan_4, r_0153_0003__would, part1).
arc(r_0153_0003__would, r_0153_0004__tell, scope).
arc(r_0153_0004__tell, r_0153_0002__I, arg0).
arc(r_0153_0004__tell, r_0153_0005__them, arg2).
arc(r_0153_0004__tell, r_0153_0006__if, arg1).
arc(r_0153_0006__if, r_0153_0008__can, restriction).
arc(r_0153_0006__if, r_0153_0013__can, scope).
arc(r_0153_0008__can, r_0153_0009__succeed, scope).
arc(r_0153_0009__succeed, r_0153_0002__I, arg0).
arc(r_0153_0009__succeed, r_0153_0010__here, nim31).
arc(r_0153_0013__can, r_0153_0012__so, nim36).
arc(r_0153_0013__can, r_0153_1001____star__, scope).
arc(r_0153_0018__said, utterance_153_a_stuck_japan_4, arg1).
arc(r_0153_0018__said, r_0153_0017__she, arg0).
arc(r_0153_1001____star__, r_0153_0005__them, arg0).

fof(formula,axiom,
    ? [R_153_18_SAID,R_153_17_SHE,UTTERANCE_153_A_STUCK_JAPAN_4,R_153_3_WOULD_TELL,R_153_2_I,R_153_5_THEM] :
      ( she(R_153_17_SHE)
      & i(R_153_2_I)
      & them(R_153_5_THEM)
      & said(R_153_18_SAID,R_153_17_SHE,UTTERANCE_153_A_STUCK_JAPAN_4)
      & utterance_153_a_stuck_japan_4(UTTERANCE_153_A_STUCK_JAPAN_4)
      & part1(UTTERANCE_153_A_STUCK_JAPAN_4,R_153_3_WOULD_TELL)
      & ! [R_153_8_CAN_SUCCEED,R_153_10_HERE] :
          ( ( here(R_153_10_HERE)
            & can_succeed(R_153_8_CAN_SUCCEED,R_153_2_I)
            & nim31(R_153_8_CAN_SUCCEED,R_153_10_HERE) )
         => ? [R_153_13_CAN__STAR_,R_153_12_SO] :
              ( so(R_153_12_SO)
              & can__star_(R_153_13_CAN__STAR_,R_153_5_THEM)
              & nim36(R_153_13_CAN__STAR_,R_153_12_SO) ) )
      & arg1(ARG1)
      & would_tell(R_153_3_WOULD_TELL,R_153_2_I)
      & arg2(R_153_3_WOULD_TELL,R_153_5_THEM) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO I;{I}))
                                 (MD;_cat_Vi_ would;{would})
                                 (IP-PPL-CAT (VB;_Dn.f_ tell;{tell})
                                             (NP-OB2 (PRO them;{they}))
                                             (CP-THT-OB1 (IP-SUB (PP-SCON (P-CONN if;{if})
                                                                          (IP-ADV (NP-SBJ (PRO I;{I}))
                                                                                  (MD;_cat_Vi_ can;{can})
                                                                                  (IP-PPL-CAT (VB;_I_ succeed;{succeed})
                                                                                              (ADVP-NIM (ADV here;{here})))))
                                                                 (PUNC ,)
                                                                 (ADVP-NIM (ADV so;{so}))
                                                                 (MD;_cat_Vi_ can;{can})
                                                                 (NP-SBJ (PRO they;{they}))
                                                                 (IP-INF-CAT (VB _*_)))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{KOIKE} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 153_a_stuck_japan))