19_a_opencities
When I go to some parts of the UK where there isn't much immigration, I realise how our population is aging.
arc(r_0019_0001__When, r_0019_0003__go, restriction).
arc(r_0019_0001__When, r_0019_0018__realise, scope).
arc(r_0019_0003__go, r_0019_0002__I, arg0).
arc(r_0019_0003__go, r_0019_0005__some_r_0019_0006__parts, r_0019_0004__to_clr14).
arc(r_0019_0005__some_r_0019_0006__parts, r_0019_0008__the_r_0019_0009__UK, r_0019_0007__of).
arc(r_0019_0011__there_r_0019_0012__is, r_0019_0005__some_r_0019_0006__parts, nim28).
arc(r_0019_0011__there_r_0019_0012__is, r_0019_0015__immigration, arg0).
arc(r_0019_0013__n_apos_t, r_0019_0011__there_r_0019_0012__is, keep_scope).
arc(r_0019_0015__immigration, r_0019_0014__much, attrib38).
arc(r_0019_0018__realise, r_0019_0002__I, arg0).
arc(r_0019_0018__realise, r_0019_0022__is, arg1).
arc(r_0019_0021__population, r_0019_0008__the_r_0019_0009__UK, gen).
arc(r_0019_0022__is, r_0019_0019__how, nim52).
arc(r_0019_0022__is, r_0019_0023__aging, scope).
arc(r_0019_0023__aging, r_0019_0021__population, arg0).
fof(formula,axiom,
( ~ ? [R_0019_0008__THE_R_0019_0009__UK,R_0019_0005__SOME_R_0019_0006__PARTS,R_0019_0014__MUCH,R_0019_0015__IMMIGRATION,R_0019_0011__THERE_R_0019_0012__IS] :
( r_0019_0008__the_r_0019_0009__UK(R_0019_0008__THE_R_0019_0009__UK)
& r_0019_0014__much(R_0019_0014__MUCH)
& r_0019_0011__there_r_0019_0012__is(R_0019_0011__THERE_R_0019_0012__IS)
& has_arg0(R_0019_0011__THERE_R_0019_0012__IS,R_0019_0015__IMMIGRATION)
& r_0019_0015__immigration(R_0019_0015__IMMIGRATION)
& has_attrib38(R_0019_0015__IMMIGRATION,R_0019_0014__MUCH)
& has_nim28(R_0019_0011__THERE_R_0019_0012__IS,R_0019_0005__SOME_R_0019_0006__PARTS)
& r_0019_0005__some_r_0019_0006__parts(R_0019_0005__SOME_R_0019_0006__PARTS)
& has_r_0019_0007__of(R_0019_0005__SOME_R_0019_0006__PARTS,R_0019_0008__THE_R_0019_0009__UK) )
& ! [R_0019_0003__GO,R_0019_0002__I,R_0019_0008__THE_R_0019_0009__UK,R_0019_0005__SOME_R_0019_0006__PARTS] :
( ( r_0019_0002__I(R_0019_0002__I)
& r_0019_0008__the_r_0019_0009__UK(R_0019_0008__THE_R_0019_0009__UK)
& r_0019_0003__go(R_0019_0003__GO)
& has_r_0019_0004__to_clr14(R_0019_0003__GO,R_0019_0005__SOME_R_0019_0006__PARTS)
& r_0019_0005__some_r_0019_0006__parts(R_0019_0005__SOME_R_0019_0006__PARTS)
& has_r_0019_0007__of(R_0019_0005__SOME_R_0019_0006__PARTS,R_0019_0008__THE_R_0019_0009__UK)
& has_arg0(R_0019_0003__GO,R_0019_0002__I) )
=> ? [R_0019_0019__HOW,R_0019_0021__POPULATION,R_0019_0022__IS_R_0019_0023__AGING,R_0019_0018__REALISE] :
( r_0019_0019__how(R_0019_0019__HOW)
& r_0019_0018__realise(R_0019_0018__REALISE)
& has_arg1(R_0019_0018__REALISE,R_0019_0022__IS_R_0019_0023__AGING)
& r_0019_0022__is_r_0019_0023__aging(R_0019_0022__IS_R_0019_0023__AGING)
& has_arg0(R_0019_0022__IS_R_0019_0023__AGING,R_0019_0021__POPULATION)
& r_0019_0021__population(R_0019_0021__POPULATION)
& has_gen(R_0019_0021__POPULATION,R_0019_0008__THE_R_0019_0009__UK)
& has_nim52(R_0019_0022__IS_R_0019_0023__AGING,R_0019_0019__HOW)
& has_arg0(R_0019_0018__REALISE,R_0019_0002__I) ) ) ) ).
( (IP-MAT (PP-SCON (P-CONN When;{when})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBP;_Ipr_ go;{go[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D some;{some})
(NS parts;{part})
(PP (P-ROLE of;{of})
(NP;{COUNTRY} (D the;{the})
(NPR UK;{UK})))
(IP-REL (ADVP-NIM (RADV where;{where}))
(EX there;{there})
(BEP;_ex_V_ is;{be})
(NEG;_clitic_ n<apos>t;{not})
(NP-ESBJ (ADJP (ADJ much;{much}))
(N immigration;{immigration})))))))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(VBP;_Tw_ realise;{realise})
(CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV how;{how}))
(NP-SBJ (NP-GEN;{COUNTRY} (PRO;_genm_ our;{our}))
(N population;{population}))
(BEP;_cat_Vg_ is;{be})
(IP-PPL-CAT (VAG;_I_ aging;{age}))))
(PUNC .))
(ID 19_a_opencities))