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_19_3_GO,R_19_2_I,R_19_5_SOME_PARTS,R_19_8_THE_UK] :
( ( i(R_19_2_I)
& the_UK(R_19_8_THE_UK)
& go(R_19_3_GO,R_19_2_I)
& to_clr14(R_19_3_GO,R_19_5_SOME_PARTS)
& some_parts(R_19_5_SOME_PARTS)
& of(R_19_5_SOME_PARTS,R_19_8_THE_UK) )
=> ? [R_19_18_REALISE,R_19_22_IS_AGING,R_19_21_POPULATION,R_19_19_HOW] :
( how(R_19_19_HOW)
& realise(R_19_18_REALISE,R_19_2_I,R_19_22_IS_AGING)
& is_aging(R_19_22_IS_AGING,R_19_21_POPULATION)
& population(R_19_21_POPULATION)
& gen(R_19_21_POPULATION,R_19_8_THE_UK)
& nim52(R_19_22_IS_AGING,R_19_19_HOW) ) )
& ~ ? [R_19_11_THERE_IS,R_19_15_IMMIGRATION,R_19_14_MUCH,R_19_5_SOME_PARTS,R_19_8_THE_UK] :
( much(R_19_14_MUCH)
& the_UK(R_19_8_THE_UK)
& there_is(R_19_11_THERE_IS,R_19_15_IMMIGRATION)
& immigration(R_19_15_IMMIGRATION)
& attrib38(R_19_15_IMMIGRATION,R_19_14_MUCH)
& nim28(R_19_11_THERE_IS,R_19_5_SOME_PARTS)
& some_parts(R_19_5_SOME_PARTS)
& of(R_19_5_SOME_PARTS,R_19_8_THE_UK) ) ) ).
( (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))