90_a_stuck_japan
How would you feel if I brought my family to live here?
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV How;{how}))
(MD;_cat_Vi_ would;{would})
(NP-SBJ (PRO you;{you}))
(IP-PPL-CAT (VB;_I_ feel;{feel}))
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;_Cn.t_ brought;{bring})
(NP-OB1 (NP-GEN (PRO my;{my}))
(N family;{family}))
(IP-INF-PRD (TO to;{to})
(VB;_Ip_ live;{live[here]})
(ADVP-CLR (RP here;{here}))))))
(PUNC ?))
(ID 90_a_stuck_japan))
arc(r_0090_0002__would,r_0090_0001__How,nim).
arc(r_0090_0002__would,r_0090_0004__feel,scope).
arc(r_0090_0004__feel,r_0090_0003__you,arg0).
arc(r_0090_0005__if,r_0090_0002__would,scope).
arc(r_0090_0005__if,r_0090_0007__brought,restriction).
arc(r_0090_0007__brought,r_0090_0006__I,arg0).
arc(r_0090_0007__brought,r_0090_0009__family,arg1).
arc(r_0090_0007__brought,r_0090_0011__live_r_0090_0012__here,prd).
arc(r_0090_0009__family,r_0090_0006__I,gen).
arc(r_0090_0011__live_r_0090_0012__here,z_0090_5007,arg0).
fof(formula,axiom,
! [R_0090_0007__BROUGHT,R_0090_0006__I,R_0090_0009__FAMILY,Z_0090_5007,R_0090_0011__LIVE_R_0090_0012__HERE] :
( ( r_0090_0006__I(R_0090_0006__I)
& z_0090_5007(Z_0090_5007)
& r_0090_0007__brought(R_0090_0007__BROUGHT)
& has_prd(R_0090_0007__BROUGHT,R_0090_0011__LIVE_R_0090_0012__HERE)
& r_0090_0011__live_r_0090_0012__here(R_0090_0011__LIVE_R_0090_0012__HERE)
& has_arg0(R_0090_0011__LIVE_R_0090_0012__HERE,Z_0090_5007)
& has_arg1(R_0090_0007__BROUGHT,R_0090_0009__FAMILY)
& r_0090_0009__family(R_0090_0009__FAMILY)
& has_gen(R_0090_0009__FAMILY,R_0090_0006__I)
& has_arg0(R_0090_0007__BROUGHT,R_0090_0006__I) )
=> ? [R_0090_0001__HOW,R_0090_0003__YOU,R_0090_0002__WOULD_R_0090_0004__FEEL] :
( r_0090_0001__How(R_0090_0001__HOW)
& r_0090_0003__you(R_0090_0003__YOU)
& r_0090_0002__would_r_0090_0004__feel(R_0090_0002__WOULD_R_0090_0004__FEEL)
& has_arg0(R_0090_0002__WOULD_R_0090_0004__FEEL,R_0090_0003__YOU)
& has_nim(R_0090_0002__WOULD_R_0090_0004__FEEL,R_0090_0001__HOW) ) ) ).