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.
( (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))
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_0003_5009,restriction).
arc(r_0003_0020__are,r_0003_0009__my,r_0003_0017__for__nim).
arc(r_0003_0020__are,r_0003_0019__at_least,nim).
arc(r_0003_0020__are,r_0003_0022__benefits,prd).
arc(r_0003_0020__are,z_0003_5009,arg0).
arc(r_0003_0022__benefits,r_0003_0021__real,attrib).
arc(z_0003_5009,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_0003_5009] :
( ( z_0003_5009(Z_0003_5009)
& has_r_0003_0014__of(Z_0003_5009,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_0003_5009)
& has_prd(R_0003_0020__ARE,R_0003_0022__BENEFITS)
& r_0003_0022__benefits(R_0003_0022__BENEFITS)
& has_attrib(R_0003_0022__BENEFITS,R_0003_0021__REAL)
& has_nim(R_0003_0020__ARE,R_0003_0019__AT_LEAST)
& has_r_0003_0017__for__nim(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) ) ).