3_a_opencities
It has brought about a lot of changes in my country, but many of them, for me at least are real benefits.
arc(r_0003_0002__has, r_0003_0003__brought_r_0003_0004__about, scope).
arc(r_0003_0003__brought_r_0003_0004__about, r_0003_0001__It, arg0).
arc(r_0003_0003__brought_r_0003_0004__about, r_0003_0005__a_lot, arg1).
arc(r_0003_0005__a_lot, r_0003_0007__changes, r_0003_0006__of).
arc(r_0003_0007__changes, r_0003_0010__country, r_0003_0008__in).
arc(r_0003_0010__country, r_0003_0009__my, gen).
arc(r_0003_0012__but, r_0003_0002__has, conj1).
arc(r_0003_0012__but, r_0003_0013__many_quant, conj2).
arc(r_0003_0013__many_quant, r_0003_0020__are, scope).
arc(r_0003_0013__many_quant, z_000_3_a_opencities_38, restriction).
arc(r_0003_0020__are, r_0003_0009__my, r_0003_0017__for_nim52).
arc(r_0003_0020__are, r_0003_0019__at_least, nim55).
arc(r_0003_0020__are, r_0003_0022__benefits, prd).
arc(r_0003_0020__are, z_000_3_a_opencities_38, arg0).
arc(r_0003_0022__benefits, r_0003_0021__real, attrib61).
arc(z_000_3_a_opencities_38, r_0003_0007__changes, r_0003_0014__of).
fof(formula,axiom,
? [R_0003_0001__IT,R_0003_0009__MY,R_0003_0010__COUNTRY,R_0003_0007__CHANGES,R_0003_0005__A_LOT,R_0003_0002__HAS_R_0003_0003__BROUGHT_R_0003_0004__ABOUT,R_0003_0012__BUT] :
( r_0003_0001__It(R_0003_0001__IT)
& r_0003_0009__my(R_0003_0009__MY)
& r_0003_0012__but(R_0003_0012__BUT)
& ! [Z_000_3_A_OPENCITIES_38] :
( ( z_000_3_a_opencities_38(Z_000_3_A_OPENCITIES_38)
& has_r_0003_0014__of(Z_000_3_A_OPENCITIES_38,R_0003_0007__CHANGES) )
=> ? [R_0003_0019__AT_LEAST,R_0003_0021__REAL,R_0003_0022__BENEFITS,R_0003_0020__ARE] :
( r_0003_0019__at_least(R_0003_0019__AT_LEAST)
& r_0003_0021__real(R_0003_0021__REAL)
& r_0003_0020__are(R_0003_0020__ARE)
& has_arg0(R_0003_0020__ARE,Z_000_3_A_OPENCITIES_38)
& has_prd(R_0003_0020__ARE,R_0003_0022__BENEFITS)
& r_0003_0022__benefits(R_0003_0022__BENEFITS)
& has_attrib61(R_0003_0022__BENEFITS,R_0003_0021__REAL)
& has_nim55(R_0003_0020__ARE,R_0003_0019__AT_LEAST)
& has_r_0003_0017__for_nim52(R_0003_0020__ARE,R_0003_0009__MY) ) )
& has_conj1(R_0003_0012__BUT,R_0003_0002__HAS_R_0003_0003__BROUGHT_R_0003_0004__ABOUT)
& r_0003_0002__has_r_0003_0003__brought_r_0003_0004__about(R_0003_0002__HAS_R_0003_0003__BROUGHT_R_0003_0004__ABOUT)
& has_arg1(R_0003_0002__HAS_R_0003_0003__BROUGHT_R_0003_0004__ABOUT,R_0003_0005__A_LOT)
& r_0003_0005__a_lot(R_0003_0005__A_LOT)
& has_r_0003_0006__of(R_0003_0005__A_LOT,R_0003_0007__CHANGES)
& r_0003_0007__changes(R_0003_0007__CHANGES)
& has_r_0003_0008__in(R_0003_0007__CHANGES,R_0003_0010__COUNTRY)
& r_0003_0010__country(R_0003_0010__COUNTRY)
& has_gen(R_0003_0010__COUNTRY,R_0003_0009__MY)
& has_arg0(R_0003_0002__HAS_R_0003_0003__BROUGHT_R_0003_0004__ABOUT,R_0003_0001__IT) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{MIGRATION} (PRO It;{it}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_phr_Vn<=>p_ brought;{bring[about]})
(RP about;{about})
(NP-OB1 (D;_nphd_ a_lot;{a_lot})
(PP (P-ROLE of;{of})
(NP;{CHANGES} (NS changes;{change})
(PP (P-ROLE in;{in})
(NP (NP-GEN (PRO;_genm_ my;{my}))
(N country;{country}))))))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NP-SBJ (Q;_nphd_ many;{many})
(PP (P-ROLE of;{of})
(NP;{CHANGES} (PRO them;{they}))))
(PUNC ,)
(PP-NIM (P-ROLE for;{for})
(NP (PRO me;{I})))
(ADVP-NIM (ADV at_least;{at_least}))
(BEP;_Ln_ are;{be})
(NP-PRD (ADJP (ADJ real;{real}))
(NS benefits;{benefit})))))
(PUNC .))
(ID 3_a_opencities))