TSPC 7_a_stories_11

7_a_stories_11_h38
It so happened there were other cars exactly like ours parked outside, next to ours.

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (ADVP-NIM (ADV so;{so}))
          (VBD;_I_ happened;{happen})
          (CP-THT-NSBJ (IP-SUB (EX there;{there})
                               (BED;_ex_cat_VePASS_ were;{be})
                               (NP-ESBJ (ADJP (ADJ other;{other}))
                                        (NS cars;{car})
                                        (PP (ADVP-NIM (ADV exactly;{exactly}))
                                            (P-ROLE like;{like})
                                            (NP (NP-GEN (PRO;_ppge_ ours;{ours})))))
                               (IP-PPL-CAT (NP-LGS *)
                                           (VVN;_Tn_ parked;{park})
                                           (ADVP-NIM (ADV outside;{outside}))
                                           (PUNC ,)
                                           (PP-NIM (P-ROLE next_to;{next_to})
                                                   (NP (NP-GEN (PRO;_ppge_ ours;{ours})))))))
          (PUNC .))
  (ID 7_a_stories_11_h38))

arc(r_0007_0003__happened,r_0007_0002__so,nim).
arc(r_0007_0003__happened,r_0007_0005__were,arg0).
arc(r_0007_0005__were,r_0007_0011__parked,scope).
arc(r_0007_0007__cars,r_0007_0006__other,attrib).
arc(r_0007_0007__cars,z_0007_5006,r_0007_0008__exactly_r_0007_0009__like).
arc(r_0007_0011__parked,r_0007_0007__cars,arg1).
arc(r_0007_0011__parked,r_0007_0012__outside,nim).
arc(r_0007_0011__parked,z_0007_5010,r_0007_0014__next_to__nim).
arc(r_0007_0011__parked,z_0007_5012___star_,arg0).
arc(z_0007_5006,r_0007_0010__ours,gen).
arc(z_0007_5010,r_0007_0010__ours,gen).

fof(formula,axiom,
    ? [R_0007_0002__SO,R_0007_0006__OTHER,R_0007_0010__OURS,Z_0007_5006,R_0007_0007__CARS,R_0007_0012__OUTSIDE,Z_0007_5010,Z_0007_5012___STAR_,R_0007_0005__WERE_R_0007_0011__PARKED,R_0007_0003__HAPPENED] :
      ( r_0007_0002__so(R_0007_0002__SO)
      & r_0007_0006__other(R_0007_0006__OTHER)
      & r_0007_0010__ours(R_0007_0010__OURS)
      & r_0007_0012__outside(R_0007_0012__OUTSIDE)
      & z_0007_5012___star_(Z_0007_5012___STAR_)
      & r_0007_0003__happened(R_0007_0003__HAPPENED)
      & has_arg0(R_0007_0003__HAPPENED,R_0007_0005__WERE_R_0007_0011__PARKED)
      & r_0007_0005__were_r_0007_0011__parked(R_0007_0005__WERE_R_0007_0011__PARKED)
      & has_arg0(R_0007_0005__WERE_R_0007_0011__PARKED,Z_0007_5012___STAR_)
      & has_r_0007_0014__next_to__nim(R_0007_0005__WERE_R_0007_0011__PARKED,Z_0007_5010)
      & z_0007_5010(Z_0007_5010)
      & has_gen(Z_0007_5010,R_0007_0010__OURS)
      & has_nim(R_0007_0005__WERE_R_0007_0011__PARKED,R_0007_0012__OUTSIDE)
      & has_arg1(R_0007_0005__WERE_R_0007_0011__PARKED,R_0007_0007__CARS)
      & r_0007_0007__cars(R_0007_0007__CARS)
      & has_r_0007_0008__exactly_r_0007_0009__like(R_0007_0007__CARS,Z_0007_5006)
      & z_0007_5006(Z_0007_5006)
      & has_gen(Z_0007_5006,R_0007_0010__OURS)
      & has_attrib(R_0007_0007__CARS,R_0007_0006__OTHER)
      & has_nim(R_0007_0003__HAPPENED,R_0007_0002__SO) ) ).