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_0153_0002__I,R_0153_0005__THEM,R_0153_0003__WOULD_R_0153_0004__TELL,UTTERANCE_153_A_STUCK_JAPAN_4,R_0153_0017__SHE,R_0153_0018__SAID] :
      ( r_0153_0002__I(R_0153_0002__I)
      & r_0153_0005__them(R_0153_0005__THEM)
      & r_0153_0017__she(R_0153_0017__SHE)
      & r_0153_0018__said(R_0153_0018__SAID)
      & has_arg0(R_0153_0018__SAID,R_0153_0017__SHE)
      & has_arg1(R_0153_0018__SAID,UTTERANCE_153_A_STUCK_JAPAN_4)
      & utterance_153_a_stuck_japan_4(UTTERANCE_153_A_STUCK_JAPAN_4)
      & has_part1(UTTERANCE_153_A_STUCK_JAPAN_4,R_0153_0003__WOULD_R_0153_0004__TELL)
      & r_0153_0003__would_r_0153_0004__tell(R_0153_0003__WOULD_R_0153_0004__TELL)
      & ! [R_0153_0008__CAN_R_0153_0009__SUCCEED,R_0153_0010__HERE] :
          ( ( r_0153_0010__here(R_0153_0010__HERE)
            & r_0153_0008__can_r_0153_0009__succeed(R_0153_0008__CAN_R_0153_0009__SUCCEED)
            & has_nim31(R_0153_0008__CAN_R_0153_0009__SUCCEED,R_0153_0010__HERE)
            & has_arg0(R_0153_0008__CAN_R_0153_0009__SUCCEED,R_0153_0002__I) )
         => ? [R_0153_0012__SO,R_0153_0013__CAN_R_0153_1001____STAR__] :
              ( r_0153_0012__so(R_0153_0012__SO)
              & r_0153_0013__can_r_0153_1001____star__(R_0153_0013__CAN_R_0153_1001____STAR__)
              & has_arg0(R_0153_0013__CAN_R_0153_1001____STAR__,R_0153_0005__THEM)
              & has_nim36(R_0153_0013__CAN_R_0153_1001____STAR__,R_0153_0012__SO) ) )
      & has_arg2(R_0153_0003__WOULD_R_0153_0004__TELL,R_0153_0005__THEM)
      & has_arg0(R_0153_0003__WOULD_R_0153_0004__TELL,R_0153_0002__I) ) ).

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