15_a_opencities
We British can be pretty conservative, so it's nice to have a change from the grey.
arc(r_0015_0003__can, r_0015_0004__be, scope).
arc(r_0015_0004__be, r_0015_0001__We, arg0).
arc(r_0015_0004__be, r_0015_0006__conservative, prd).
arc(r_0015_0006__conservative, r_0015_0005__pretty, qual15).
arc(r_0015_0008__so, r_0015_0003__can, scope).
arc(r_0015_0008__so, r_0015_0010___apos_s, restriction).
arc(r_0015_0010___apos_s, r_0015_0011__nice, prd).
arc(r_0015_0010___apos_s, r_0015_0012__to_r_0015_0013__have, arg0).
arc(r_0015_0012__to_r_0015_0013__have, r_0015_0014__a_r_0015_0015__change, arg1).
arc(r_0015_0012__to_r_0015_0013__have, z_000_15_a_opencities_26, arg0).
arc(r_0015_0014__a_r_0015_0015__change, r_0015_0017__the, r_0015_0016__from).
arc(r_0015_0017__the, r_0015_0018__grey, attrib50).
arc(z_000_15_a_opencities_5, r_0015_0001__We, arg0).
arc(z_000_15_a_opencities_5, r_0015_0002__British, prd).
fof(formula,axiom,
? [R_15_8_SO,R_15_10__APOS_S,R_15_12_TO_HAVE,Z_15_A_OPENCITIES_26,R_15_14_A_CHANGE,R_15_17_THE,R_15_18_GREY,R_15_11_NICE,R_15_3_CAN_BE,R_15_6_CONSERVATIVE,R_15_5_PRETTY,Z_15_A_OPENCITIES_5,R_15_1_WE,R_15_2_BRITISH] :
( grey(R_15_18_GREY)
& nice(R_15_11_NICE)
& pretty(R_15_5_PRETTY)
& we(R_15_1_WE)
& british(R_15_2_BRITISH)
& so(R_15_8_SO)
& conj1(R_15_8_SO,R_15_10__APOS_S)
& _apos_s(R_15_10__APOS_S,R_15_12_TO_HAVE,R_15_11_NICE)
& to_have(R_15_12_TO_HAVE,Z_15_A_OPENCITIES_26,R_15_14_A_CHANGE)
& a_change(R_15_14_A_CHANGE)
& from(R_15_14_A_CHANGE,R_15_17_THE)
& the(R_15_17_THE)
& attrib50(R_15_17_THE,R_15_18_GREY)
& conj2(R_15_8_SO,R_15_3_CAN_BE)
& can_be(R_15_3_CAN_BE,R_15_1_WE,R_15_6_CONSERVATIVE)
& conservative(R_15_6_CONSERVATIVE)
& qual15(R_15_6_CONSERVATIVE,R_15_5_PRETTY)
& z_15_a_opencities_5(Z_15_A_OPENCITIES_5,R_15_1_WE,R_15_2_BRITISH) ) ).
( (IP-MAT (NP-SBJ (PRO We;{we})
(IP-PPL (NP-PRD (NPRS British;{British}))))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (BE;_La_ be;{be})
(ADJP-PRD (ADVP (ADV pretty;{pretty}))
(ADJ conservative;{conservative})))
(PUNC ,)
(PP-SCON (P-CONN so;{so})
(IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
(BEP;_La_ <apos>s;{be})
(ADJP-PRD (ADJ nice;{nice}))
(IP-INF-NSBJ (TO to;{to})
(HV;_Tn_ have;{have})
(NP-OB1 (D a;{a})
(N change;{change})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(ADJP (ADJ grey;{grey}))))))))
(PUNC .))
(ID 15_a_opencities))