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.

arc(r_0007_0003__happened, r_0007_0002__so, nim5).
arc(r_0007_0003__happened, r_0007_0004__there_r_0007_0005__were, arg0).
arc(r_0007_0004__there_r_0007_0005__were, r_0007_0011__parked, scope).
arc(r_0007_0007__cars, r_0007_0006__other, attrib17).
arc(r_0007_0007__cars, z_000_7_a_stories_11_h38_27, 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, nim36).
arc(r_0007_0011__parked, z_000_7_a_stories_11_h38_32, arg0).
arc(r_0007_0011__parked, z_000_7_a_stories_11_h38_44, r_0007_0014__next_to_nim44).
arc(z_000_7_a_stories_11_h38_27, r_0007_0010__ours, gen).
arc(z_000_7_a_stories_11_h38_44, r_0007_0010__ours, gen).

fof(formula,axiom,
    ? [R_0007_0002__SO,R_0007_0006__OTHER,R_0007_0010__OURS,Z_000_7_A_STORIES_11_H38_27,R_0007_0007__CARS,R_0007_0012__OUTSIDE,Z_000_7_A_STORIES_11_H38_32,Z_000_7_A_STORIES_11_H38_44,R_0007_0004__THERE_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_000_7_a_stories_11_h38_32(Z_000_7_A_STORIES_11_H38_32)
      & r_0007_0003__happened(R_0007_0003__HAPPENED)
      & has_arg0(R_0007_0003__HAPPENED,R_0007_0004__THERE_R_0007_0005__WERE_R_0007_0011__PARKED)
      & r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked(R_0007_0004__THERE_R_0007_0005__WERE_R_0007_0011__PARKED)
      & has_r_0007_0014__next_to_nim44(R_0007_0004__THERE_R_0007_0005__WERE_R_0007_0011__PARKED,Z_000_7_A_STORIES_11_H38_44)
      & z_000_7_a_stories_11_h38_44(Z_000_7_A_STORIES_11_H38_44)
      & has_gen(Z_000_7_A_STORIES_11_H38_44,R_0007_0010__OURS)
      & has_arg0(R_0007_0004__THERE_R_0007_0005__WERE_R_0007_0011__PARKED,Z_000_7_A_STORIES_11_H38_32)
      & has_nim36(R_0007_0004__THERE_R_0007_0005__WERE_R_0007_0011__PARKED,R_0007_0012__OUTSIDE)
      & has_arg1(R_0007_0004__THERE_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_000_7_A_STORIES_11_H38_27)
      & z_000_7_a_stories_11_h38_27(Z_000_7_A_STORIES_11_H38_27)
      & has_gen(Z_000_7_A_STORIES_11_H38_27,R_0007_0010__OURS)
      & has_attrib17(R_0007_0007__CARS,R_0007_0006__OTHER)
      & has_nim5(R_0007_0003__HAPPENED,R_0007_0002__SO) ) ).

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