Context                Previous, Next                Top


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

%3 r_0007_0003__happened happened r_0007_0002__so so r_0007_0003__happened->r_0007_0002__so [nim] r_0007_0004__there_r_0007_0005__were there were r_0007_0003__happened->r_0007_0004__there_r_0007_0005__were [arg0] r_0007_0011__parked parked r_0007_0004__there_r_0007_0005__were->r_0007_0011__parked [scope] r_0007_0007__cars cars r_0007_0011__parked->r_0007_0007__cars [arg1] r_0007_0012__outside outside r_0007_0011__parked->r_0007_0012__outside [nim] z_000_7_a_stories_11_h38_32 r_0007_0011__parked->z_000_7_a_stories_11_h38_32 [arg0] z_000_7_a_stories_11_h38_44 r_0007_0011__parked->z_000_7_a_stories_11_h38_44 next to [nim] r_0007_0006__other other r_0007_0007__cars->r_0007_0006__other [attrib] z_000_7_a_stories_11_h38_27 r_0007_0007__cars->z_000_7_a_stories_11_h38_27 exactly like r_0007_0010__ours ours z_000_7_a_stories_11_h38_27->r_0007_0010__ours [gen] z_000_7_a_stories_11_h38_44->r_0007_0010__ours [gen] 
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).


%3 z_000_7_a_stories_11_h38_44 r_0007_0010__ours ours z_000_7_a_stories_11_h38_44->r_0007_0010__ours [gen] z_000_7_a_stories_11_h38_27 z_000_7_a_stories_11_h38_27->r_0007_0010__ours [gen] r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked there were parked r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked->z_000_7_a_stories_11_h38_44 next to [nim] z_000_7_a_stories_11_h38_32 r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked->z_000_7_a_stories_11_h38_32 [arg0] r_0007_0012__outside outside r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked->r_0007_0012__outside [nim] r_0007_0007__cars cars r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked->r_0007_0007__cars [arg1] r_0007_0007__cars->z_000_7_a_stories_11_h38_27 exactly like r_0007_0006__other other r_0007_0007__cars->r_0007_0006__other [attrib] r_0007_0003__happened happened r_0007_0003__happened->r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked [arg0] r_0007_0002__so so r_0007_0003__happened->r_0007_0002__so [nim] 
fof(formula,axiom,
    ? [R_7_3_HAPPENED,R_7_4_THERE_WERE_PARKED,Z_7_A_STORIES_11_H38_32,R_7_7_CARS,R_7_6_OTHER,Z_7_A_STORIES_11_H38_27,R_7_12_OUTSIDE,Z_7_A_STORIES_11_H38_44,R_7_10_OURS,R_7_2_SO] :
      ( other(R_7_6_OTHER)
      & outside(R_7_12_OUTSIDE)
      & ours(R_7_10_OURS)
      & so(R_7_2_SO)
      & happened(R_7_3_HAPPENED,R_7_4_THERE_WERE_PARKED)
      & there_were_parked(R_7_4_THERE_WERE_PARKED,Z_7_A_STORIES_11_H38_32,R_7_7_CARS)
      & cars(R_7_7_CARS)
      & attrib17(R_7_7_CARS,R_7_6_OTHER)
      & exactly_like(R_7_7_CARS,Z_7_A_STORIES_11_H38_27)
      & z_7_a_stories_11_h38_27(Z_7_A_STORIES_11_H38_27)
      & gen(Z_7_A_STORIES_11_H38_27,R_7_10_OURS)
      & nim36(R_7_4_THERE_WERE_PARKED,R_7_12_OUTSIDE)
      & next_to_nim44(R_7_4_THERE_WERE_PARKED,Z_7_A_STORIES_11_H38_44)
      & z_7_a_stories_11_h38_44(Z_7_A_STORIES_11_H38_44)
      & gen(Z_7_A_STORIES_11_H38_44,R_7_10_OURS)
      & nim5(R_7_3_HAPPENED,R_7_2_SO) ) ).


n7_a_stories_11_h38 n7_a_stories_11_h38__1_1_1_1 It n7_a_stories_11_h38__1_2_1_1 so n7_a_stories_11_h38__1_3_1 happened n7_a_stories_11_h38__1_4_1_1_1 there n7_a_stories_11_h38__1_4_1_2_1 were n7_a_stories_11_h38__1_4_1_3_1_1_1 other n7_a_stories_11_h38__1_4_1_3_2_1 cars n7_a_stories_11_h38__1_4_1_3_3_1_1 exactly n7_a_stories_11_h38__1_4_1_3_3_2_1 like n7_a_stories_11_h38__1_4_1_3_3_3_1_1_1 ours n7_a_stories_11_h38__1_4_1_4_1_1 * n7_a_stories_11_h38__1_4_1_4_2_1 parked n7_a_stories_11_h38__1_4_1_4_3_1_1 outside n7_a_stories_11_h38__1_4_1_4_4_1 , n7_a_stories_11_h38__1_4_1_4_5_1_1 next_to n7_a_stories_11_h38__1_4_1_4_5_2_1_1_1 ours n7_a_stories_11_h38__1_5_1 . n7_a_stories_11_h38__1 IP-MAT n7_a_stories_11_h38__1_1 NP-SBJ n7_a_stories_11_h38__1->n7_a_stories_11_h38__1_1 n7_a_stories_11_h38__1_2 ADVP-NIM n7_a_stories_11_h38__1->n7_a_stories_11_h38__1_2 n7_a_stories_11_h38__1_3 VBD;_I_ n7_a_stories_11_h38__1->n7_a_stories_11_h38__1_3 n7_a_stories_11_h38__1_4 CP-THT-NSBJ n7_a_stories_11_h38__1->n7_a_stories_11_h38__1_4 n7_a_stories_11_h38__1_5 PUNC n7_a_stories_11_h38__1->n7_a_stories_11_h38__1_5 n7_a_stories_11_h38__1_1_1 PRO;_provisional_ n7_a_stories_11_h38__1_1->n7_a_stories_11_h38__1_1_1 n7_a_stories_11_h38__1_1_1->n7_a_stories_11_h38__1_1_1_1 n7_a_stories_11_h38__1_2_1 ADV n7_a_stories_11_h38__1_2->n7_a_stories_11_h38__1_2_1 n7_a_stories_11_h38__1_2_1->n7_a_stories_11_h38__1_2_1_1 n7_a_stories_11_h38__1_3->n7_a_stories_11_h38__1_3_1 n7_a_stories_11_h38__1_4_1 IP-SUB n7_a_stories_11_h38__1_4->n7_a_stories_11_h38__1_4_1 n7_a_stories_11_h38__1_4_1_1 EX n7_a_stories_11_h38__1_4_1->n7_a_stories_11_h38__1_4_1_1 n7_a_stories_11_h38__1_4_1_2 BED;_ex_cat_VePASS_ n7_a_stories_11_h38__1_4_1->n7_a_stories_11_h38__1_4_1_2 n7_a_stories_11_h38__1_4_1_3 NP-ESBJ n7_a_stories_11_h38__1_4_1->n7_a_stories_11_h38__1_4_1_3 n7_a_stories_11_h38__1_4_1_4 IP-PPL-CAT n7_a_stories_11_h38__1_4_1->n7_a_stories_11_h38__1_4_1_4 n7_a_stories_11_h38__1_4_1_1->n7_a_stories_11_h38__1_4_1_1_1 n7_a_stories_11_h38__1_4_1_2->n7_a_stories_11_h38__1_4_1_2_1 n7_a_stories_11_h38__1_4_1_3_1 ADJP n7_a_stories_11_h38__1_4_1_3->n7_a_stories_11_h38__1_4_1_3_1 n7_a_stories_11_h38__1_4_1_3_2 NS n7_a_stories_11_h38__1_4_1_3->n7_a_stories_11_h38__1_4_1_3_2 n7_a_stories_11_h38__1_4_1_3_3 PP n7_a_stories_11_h38__1_4_1_3->n7_a_stories_11_h38__1_4_1_3_3 n7_a_stories_11_h38__1_4_1_3_1_1 ADJ n7_a_stories_11_h38__1_4_1_3_1->n7_a_stories_11_h38__1_4_1_3_1_1 n7_a_stories_11_h38__1_4_1_3_1_1->n7_a_stories_11_h38__1_4_1_3_1_1_1 n7_a_stories_11_h38__1_4_1_3_2->n7_a_stories_11_h38__1_4_1_3_2_1 n7_a_stories_11_h38__1_4_1_3_3_1 ADV n7_a_stories_11_h38__1_4_1_3_3->n7_a_stories_11_h38__1_4_1_3_3_1 n7_a_stories_11_h38__1_4_1_3_3_2 P-ROLE n7_a_stories_11_h38__1_4_1_3_3->n7_a_stories_11_h38__1_4_1_3_3_2 n7_a_stories_11_h38__1_4_1_3_3_3 NP n7_a_stories_11_h38__1_4_1_3_3->n7_a_stories_11_h38__1_4_1_3_3_3 n7_a_stories_11_h38__1_4_1_3_3_1->n7_a_stories_11_h38__1_4_1_3_3_1_1 n7_a_stories_11_h38__1_4_1_3_3_2->n7_a_stories_11_h38__1_4_1_3_3_2_1 n7_a_stories_11_h38__1_4_1_3_3_3_1 NP-GEN n7_a_stories_11_h38__1_4_1_3_3_3->n7_a_stories_11_h38__1_4_1_3_3_3_1 n7_a_stories_11_h38__1_4_1_3_3_3_1_1 PRO;_ppge_ n7_a_stories_11_h38__1_4_1_3_3_3_1->n7_a_stories_11_h38__1_4_1_3_3_3_1_1 n7_a_stories_11_h38__1_4_1_3_3_3_1_1->n7_a_stories_11_h38__1_4_1_3_3_3_1_1_1 n7_a_stories_11_h38__1_4_1_4_1 NP-LGS n7_a_stories_11_h38__1_4_1_4->n7_a_stories_11_h38__1_4_1_4_1 n7_a_stories_11_h38__1_4_1_4_2 VVN;_Tn_ n7_a_stories_11_h38__1_4_1_4->n7_a_stories_11_h38__1_4_1_4_2 n7_a_stories_11_h38__1_4_1_4_3 ADVP-NIM n7_a_stories_11_h38__1_4_1_4->n7_a_stories_11_h38__1_4_1_4_3 n7_a_stories_11_h38__1_4_1_4_4 PUNC n7_a_stories_11_h38__1_4_1_4->n7_a_stories_11_h38__1_4_1_4_4 n7_a_stories_11_h38__1_4_1_4_5 PP-NIM n7_a_stories_11_h38__1_4_1_4->n7_a_stories_11_h38__1_4_1_4_5 n7_a_stories_11_h38__1_4_1_4_1->n7_a_stories_11_h38__1_4_1_4_1_1 n7_a_stories_11_h38__1_4_1_4_2->n7_a_stories_11_h38__1_4_1_4_2_1 n7_a_stories_11_h38__1_4_1_4_3_1 ADV n7_a_stories_11_h38__1_4_1_4_3->n7_a_stories_11_h38__1_4_1_4_3_1 n7_a_stories_11_h38__1_4_1_4_3_1->n7_a_stories_11_h38__1_4_1_4_3_1_1 n7_a_stories_11_h38__1_4_1_4_4->n7_a_stories_11_h38__1_4_1_4_4_1 n7_a_stories_11_h38__1_4_1_4_5_1 P-ROLE n7_a_stories_11_h38__1_4_1_4_5->n7_a_stories_11_h38__1_4_1_4_5_1 n7_a_stories_11_h38__1_4_1_4_5_2 NP n7_a_stories_11_h38__1_4_1_4_5->n7_a_stories_11_h38__1_4_1_4_5_2 n7_a_stories_11_h38__1_4_1_4_5_1->n7_a_stories_11_h38__1_4_1_4_5_1_1 n7_a_stories_11_h38__1_4_1_4_5_2_1 NP-GEN n7_a_stories_11_h38__1_4_1_4_5_2->n7_a_stories_11_h38__1_4_1_4_5_2_1 n7_a_stories_11_h38__1_4_1_4_5_2_1_1 PRO;_ppge_ n7_a_stories_11_h38__1_4_1_4_5_2_1->n7_a_stories_11_h38__1_4_1_4_5_2_1_1 n7_a_stories_11_h38__1_4_1_4_5_2_1_1->n7_a_stories_11_h38__1_4_1_4_5_2_1_1_1 n7_a_stories_11_h38__1_5->n7_a_stories_11_h38__1_5_1 
( (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))