89_a_stuck_japan
“I'm sure lots of people would love to live here.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ (PRO I;{I}))
(BEP;_La_ <apos>m;{be})
(ADJP-PRD (ADJ sure;{sure})
(CP-THT (IP-SUB (NP-SBJ (NS lots;{lot})
(PP (P-ROLE of;{of})
(NP (NS people;{person}))))
(MD;_cat_Vi_ would;{would})
(IP-PPL-CAT (VB;_cat_Vt_ love;{love})
(IP-INF-CAT (TO to;{to})
(VB;_Ip_ live;{live[here]})
(ADVP-CLR (RP here;{here})))))))
(PUNC .))
(ID 89_a_stuck_japan))
arc(r_0089_0003___apos_m,r_0089_0002__I,arg0).
arc(r_0089_0003___apos_m,r_0089_0004__sure,prd).
arc(r_0089_0004__sure,r_0089_0008__would,emb).
arc(r_0089_0005__lots,r_0089_0007__people,r_0089_0006__of).
arc(r_0089_0008__would,r_0089_0009__love,scope).
arc(r_0089_0009__love,r_0089_0011__live_r_0089_0012__here,scope).
arc(r_0089_0011__live_r_0089_0012__here,r_0089_0005__lots,arg0).
fof(formula,axiom,
? [R_0089_0002__I,R_0089_0007__PEOPLE,R_0089_0005__LOTS,R_0089_0008__WOULD_R_0089_0009__LOVE_R_0089_0011__LIVE_R_0089_0012__HERE,R_0089_0004__SURE,R_0089_0003___APOS_M] :
( r_0089_0002__I(R_0089_0002__I)
& r_0089_0007__people(R_0089_0007__PEOPLE)
& r_0089_0003___apos_m(R_0089_0003___APOS_M)
& has_prd(R_0089_0003___APOS_M,R_0089_0004__SURE)
& r_0089_0004__sure(R_0089_0004__SURE)
& has_emb(R_0089_0004__SURE,R_0089_0008__WOULD_R_0089_0009__LOVE_R_0089_0011__LIVE_R_0089_0012__HERE)
& r_0089_0008__would_r_0089_0009__love_r_0089_0011__live_r_0089_0012__here(R_0089_0008__WOULD_R_0089_0009__LOVE_R_0089_0011__LIVE_R_0089_0012__HERE)
& has_arg0(R_0089_0008__WOULD_R_0089_0009__LOVE_R_0089_0011__LIVE_R_0089_0012__HERE,R_0089_0005__LOTS)
& r_0089_0005__lots(R_0089_0005__LOTS)
& has_r_0089_0006__of(R_0089_0005__LOTS,R_0089_0007__PEOPLE)
& has_arg0(R_0089_0003___APOS_M,R_0089_0002__I) ) ).