arc(r_0012_0003__can, r_0012_0001__Nowadays, nim2).
arc(r_0012_0003__can, r_0012_0006__and, scope).
arc(r_0012_0004__go, r_0012_0005__shopping, scope).
arc(r_0012_0005__shopping, r_0012_0002__you, arg0).
arc(r_0012_0006__and, r_0012_0004__go, conj1).
arc(r_0012_0006__and, r_0012_0007__find, conj2).
arc(r_0012_0007__find, r_0012_0002__you, arg0).
arc(r_0012_0007__find, r_0012_0008__stuff, arg1).
arc(r_0012_0008__stuff, z_000_12_a_opencities_30, r_0012_0009__from).
arc(r_0012_0010__all_quant, r_0012_0008__stuff, scope).
arc(r_0012_0010__all_quant, z_000_12_a_opencities_30, restriction).
arc(z_000_12_a_opencities_30, r_0012_0012__the_r_0012_0013__world, r_0012_0011__over).

fof(formula,axiom,
    ? [R_0012_0001__NOWADAYS,R_0012_0002__YOU,R_0012_0004__GO_R_0012_0005__SHOPPING,R_0012_0012__THE_R_0012_0013__WORLD,Z_000_12_A_OPENCITIES_30,R_0012_0008__STUFF,R_0012_0007__FIND,R_0012_0006__AND,R_0012_0003__CAN] :
      ( r_0012_0001__Nowadays(R_0012_0001__NOWADAYS)
      & r_0012_0002__you(R_0012_0002__YOU)
      & r_0012_0012__the_r_0012_0013__world(R_0012_0012__THE_R_0012_0013__WORLD)
      & r_0012_0003__can(R_0012_0003__CAN)
      & has_keep_scope(R_0012_0003__CAN,R_0012_0006__AND)
      & r_0012_0006__and(R_0012_0006__AND)
      & has_conj2(R_0012_0006__AND,R_0012_0007__FIND)
      & r_0012_0007__find(R_0012_0007__FIND)
      & has_arg1(R_0012_0007__FIND,R_0012_0008__STUFF)
      & r_0012_0008__stuff(R_0012_0008__STUFF)
      & has_r_0012_0009__from(R_0012_0008__STUFF,Z_000_12_A_OPENCITIES_30)
      & z_000_12_a_opencities_30(Z_000_12_A_OPENCITIES_30)
      & has_r_0012_0011__over(Z_000_12_A_OPENCITIES_30,R_0012_0012__THE_R_0012_0013__WORLD)
      & has_arg0(R_0012_0007__FIND,R_0012_0002__YOU)
      & has_conj1(R_0012_0006__AND,R_0012_0004__GO_R_0012_0005__SHOPPING)
      & r_0012_0004__go_r_0012_0005__shopping(R_0012_0004__GO_R_0012_0005__SHOPPING)
      & has_arg0(R_0012_0004__GO_R_0012_0005__SHOPPING,R_0012_0002__YOU)
      & has_nim2(R_0012_0003__CAN,R_0012_0001__NOWADAYS)
      & ( z_000_12_a_opencities_30(Z_000_12_A_OPENCITIES_30)
       => r_0012_0007__find(R_0012_0007__FIND) ) ) ).

( (IP-MAT (ADVP-NIM (ADV Nowadays;{nowadays}))
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_cat_Vg_ go;{go})
                                  (IP-PPL-CAT (VAG;_I_ shopping;{shop})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ find;{find})
                                         (NP-OB1 (N stuff;{stuff})
                                                 (PP (P-ROLE from;{from})
                                                     (NP (Q;_nphd_ all;{all})
                                                         (PP (P-ROLE over;{over})
                                                             (NP (D the;{the})
                                                                 (N world;{world}))))))))))
          (PUNC .))
  (ID 12_a_opencities))