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

arc(r_0012_0003__can,r_0012_0001__Nowadays,nim).
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_0012_5006,r_0012_0009__from).
arc(r_0012_0010__all__quant,r_0012_0008__stuff,scope).
arc(r_0012_0010__all__quant,z_0012_5006,restriction).
arc(z_0012_5006,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_0012_5006,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_0012_5006)
      & z_0012_5006(Z_0012_5006)
      & has_r_0012_0011__over(Z_0012_5006,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_nim(R_0012_0003__CAN,R_0012_0001__NOWADAYS)
      & ( z_0012_5006(Z_0012_5006)
       => r_0012_0007__find(R_0012_0007__FIND) ) ) ).