( (IP-MAT (NP-SBJ (PRO We;{we})
                  (PRN (NP (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))

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,qual).
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_0013__have,arg0).
arc(r_0015_0013__have,r_0015_0014__a_r_0015_0015__change,arg1).
arc(r_0015_0013__have,z_0015_5004,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,attrib).
arc(z_0015_5001,r_0015_0001__We,arg0).
arc(z_0015_5001,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_0015_5004,R_0015_0013__HAVE,R_0015_0010___APOS_S,R_0015_0008__SO,R_0015_0002__BRITISH,Z_0015_5001] :
      ( 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_0015_5004(Z_0015_5004)
      & z_0015_5001(Z_0015_5001)
      & has_prd(Z_0015_5001,R_0015_0002__BRITISH)
      & has_arg0(Z_0015_5001,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_0013__HAVE)
      & r_0015_0013__have(R_0015_0013__HAVE)
      & has_arg0(R_0015_0013__HAVE,Z_0015_5004)
      & has_arg1(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_attrib(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_qual(R_0015_0006__CONSERVATIVE,R_0015_0005__PRETTY)
      & has_arg0(R_0015_0003__CAN_R_0015_0004__BE,R_0015_0001__WE) ) ).