153_a_stuck_japan
“I would tell them if I can succeed here, so can they,” she said.
( (IP-MAT (PULQ <ldquo>)
(utterance-OB1 (IP-MAT (NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ would;{would})
(IP-PPL-CAT (VB;__ 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})))))))
(PUNC ,)
(PURQ <rdquo>)
(NP-SBJ;{KOIKE} (PRO she;{she}))
(VBD;__ said;{say})
(PUNC .))
(ID 153_a_stuck_japan))
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,nim).
arc(r_0153_0013__can,r_0153_0012__so,nim).
arc(r_0153_0013__can,r_0153_0014__they,arg0).
arc(r_0153_0018__said,r_0153_0017__she,arg0).
arc(r_0153_0018__said,z_0153_5002__utterance,arg1).
arc(z_0153_5002__utterance,r_0153_0003__would,part1).
fof(formula,axiom,
? [R_0153_0017__SHE,R_0153_0002__I,R_0153_0005__THEM,R_0153_0003__WOULD_R_0153_0004__TELL,Z_0153_5002__UTTERANCE,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_arg1(R_0153_0018__SAID,Z_0153_5002__UTTERANCE)
& z_0153_5002__utterance(Z_0153_5002__UTTERANCE)
& has_part1(Z_0153_5002__UTTERANCE,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_nim(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_0014__THEY,R_0153_0013__CAN] :
( r_0153_0012__so(R_0153_0012__SO)
& r_0153_0014__they(R_0153_0014__THEY)
& r_0153_0013__can(R_0153_0013__CAN)
& has_arg0(R_0153_0013__CAN,R_0153_0014__THEY)
& has_nim(R_0153_0013__CAN,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)
& has_arg0(R_0153_0018__SAID,R_0153_0017__SHE) ) ).