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_0015_0001__WE,R_0015_0005__PRETTY,R_0015_0006__CONSERVATIVE,R_0015_0003__CAN_R_0015_0004__BE,R_0015_0011__NICE,R_0015_0018__GREY,R_0015_0017__THE,R_0015_0014__A_R_0015_0015__CHANGE,Z_000_15_A_OPENCITIES_26,R_0015_0012__TO_R_0015_0013__HAVE,R_0015_0010___APOS_S,R_0015_0008__SO,R_0015_0002__BRITISH,Z_000_15_A_OPENCITIES_5] :
      ( r_0015_0001__We(R_0015_0001__WE)
      & r_0015_0002__British(R_0015_0002__BRITISH)
      & r_0015_0005__pretty(R_0015_0005__PRETTY)
      & r_0015_0011__nice(R_0015_0011__NICE)
      & r_0015_0018__grey(R_0015_0018__GREY)
      & z_000_15_a_opencities_26(Z_000_15_A_OPENCITIES_26)
      & z_000_15_a_opencities_5(Z_000_15_A_OPENCITIES_5)
      & has_prd(Z_000_15_A_OPENCITIES_5,R_0015_0002__BRITISH)
      & has_arg0(Z_000_15_A_OPENCITIES_5,R_0015_0001__WE)
      & r_0015_0008__so(R_0015_0008__SO)
      & has_conj1(R_0015_0008__SO,R_0015_0010___APOS_S)
      & r_0015_0010___apos_s(R_0015_0010___APOS_S)
      & has_arg0(R_0015_0010___APOS_S,R_0015_0012__TO_R_0015_0013__HAVE)
      & r_0015_0012__to_r_0015_0013__have(R_0015_0012__TO_R_0015_0013__HAVE)
      & has_arg0(R_0015_0012__TO_R_0015_0013__HAVE,Z_000_15_A_OPENCITIES_26)
      & has_arg1(R_0015_0012__TO_R_0015_0013__HAVE,R_0015_0014__A_R_0015_0015__CHANGE)
      & r_0015_0014__a_r_0015_0015__change(R_0015_0014__A_R_0015_0015__CHANGE)
      & has_r_0015_0016__from(R_0015_0014__A_R_0015_0015__CHANGE,R_0015_0017__THE)
      & r_0015_0017__the(R_0015_0017__THE)
      & has_attrib50(R_0015_0017__THE,R_0015_0018__GREY)
      & has_prd(R_0015_0010___APOS_S,R_0015_0011__NICE)
      & has_conj2(R_0015_0008__SO,R_0015_0003__CAN_R_0015_0004__BE)
      & r_0015_0003__can_r_0015_0004__be(R_0015_0003__CAN_R_0015_0004__BE)
      & has_prd(R_0015_0003__CAN_R_0015_0004__BE,R_0015_0006__CONSERVATIVE)
      & r_0015_0006__conservative(R_0015_0006__CONSERVATIVE)
      & has_qual15(R_0015_0006__CONSERVATIVE,R_0015_0005__PRETTY)
      & has_arg0(R_0015_0003__CAN_R_0015_0004__BE,R_0015_0001__WE) ) ).

( (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))