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 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_r_0007_0011__parked there were parked r_0007_0003__happened->r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked [arg0] r_0007_0007__cars cars r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked->r_0007_0007__cars [arg1] r_0007_0012__outside outside r_0007_0004__there_r_0007_0005__were_r_0007_0011__parked->r_0007_0012__outside [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] z_000_7_a_stories_11_h38_44 r_0007_0004__there_r_0007_0005__were_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_44->r_0007_0010__ours [gen] z_000_7_a_stories_11_h38_27->r_0007_0010__ours [gen] 
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_4 It n7_a_stories_11_h38_7 so n7_a_stories_11_h38_9 happened n7_a_stories_11_h38_13 there n7_a_stories_11_h38_15 were n7_a_stories_11_h38_19 other n7_a_stories_11_h38_21 cars n7_a_stories_11_h38_24 exactly n7_a_stories_11_h38_26 like n7_a_stories_11_h38_30 ours n7_a_stories_11_h38_33 * n7_a_stories_11_h38_35 parked n7_a_stories_11_h38_38 outside n7_a_stories_11_h38_40 , n7_a_stories_11_h38_43 next_to n7_a_stories_11_h38_47 ours n7_a_stories_11_h38_49 . n7_a_stories_11_h38_1 IP-MAT n7_a_stories_11_h38_2 NP-SBJ n7_a_stories_11_h38_1->n7_a_stories_11_h38_2 n7_a_stories_11_h38_5 ADVP-NIM n7_a_stories_11_h38_1->n7_a_stories_11_h38_5 n7_a_stories_11_h38_8 VBD;_I_ n7_a_stories_11_h38_1->n7_a_stories_11_h38_8 n7_a_stories_11_h38_10 CP-THT-NSBJ n7_a_stories_11_h38_1->n7_a_stories_11_h38_10 n7_a_stories_11_h38_48 PUNC n7_a_stories_11_h38_1->n7_a_stories_11_h38_48 n7_a_stories_11_h38_3 PRO;_provisional_ n7_a_stories_11_h38_2->n7_a_stories_11_h38_3 n7_a_stories_11_h38_3->n7_a_stories_11_h38_4 n7_a_stories_11_h38_6 ADV n7_a_stories_11_h38_5->n7_a_stories_11_h38_6 n7_a_stories_11_h38_6->n7_a_stories_11_h38_7 n7_a_stories_11_h38_8->n7_a_stories_11_h38_9 n7_a_stories_11_h38_11 IP-SUB n7_a_stories_11_h38_10->n7_a_stories_11_h38_11 n7_a_stories_11_h38_12 EX n7_a_stories_11_h38_11->n7_a_stories_11_h38_12 n7_a_stories_11_h38_14 BED;_ex_cat_VePASS_ n7_a_stories_11_h38_11->n7_a_stories_11_h38_14 n7_a_stories_11_h38_16 NP-ESBJ n7_a_stories_11_h38_11->n7_a_stories_11_h38_16 n7_a_stories_11_h38_31 IP-PPL-CAT n7_a_stories_11_h38_11->n7_a_stories_11_h38_31 n7_a_stories_11_h38_12->n7_a_stories_11_h38_13 n7_a_stories_11_h38_14->n7_a_stories_11_h38_15 n7_a_stories_11_h38_17 ADJP n7_a_stories_11_h38_16->n7_a_stories_11_h38_17 n7_a_stories_11_h38_20 NS n7_a_stories_11_h38_16->n7_a_stories_11_h38_20 n7_a_stories_11_h38_22 PP n7_a_stories_11_h38_16->n7_a_stories_11_h38_22 n7_a_stories_11_h38_18 ADJ n7_a_stories_11_h38_17->n7_a_stories_11_h38_18 n7_a_stories_11_h38_18->n7_a_stories_11_h38_19 n7_a_stories_11_h38_20->n7_a_stories_11_h38_21 n7_a_stories_11_h38_23 ADV n7_a_stories_11_h38_22->n7_a_stories_11_h38_23 n7_a_stories_11_h38_25 P-ROLE n7_a_stories_11_h38_22->n7_a_stories_11_h38_25 n7_a_stories_11_h38_27 NP n7_a_stories_11_h38_22->n7_a_stories_11_h38_27 n7_a_stories_11_h38_23->n7_a_stories_11_h38_24 n7_a_stories_11_h38_25->n7_a_stories_11_h38_26 n7_a_stories_11_h38_28 NP-GEN n7_a_stories_11_h38_27->n7_a_stories_11_h38_28 n7_a_stories_11_h38_29 PRO;_ppge_ n7_a_stories_11_h38_28->n7_a_stories_11_h38_29 n7_a_stories_11_h38_29->n7_a_stories_11_h38_30 n7_a_stories_11_h38_32 NP-LGS n7_a_stories_11_h38_31->n7_a_stories_11_h38_32 n7_a_stories_11_h38_34 VVN;_Tn_ n7_a_stories_11_h38_31->n7_a_stories_11_h38_34 n7_a_stories_11_h38_36 ADVP-NIM n7_a_stories_11_h38_31->n7_a_stories_11_h38_36 n7_a_stories_11_h38_39 PUNC n7_a_stories_11_h38_31->n7_a_stories_11_h38_39 n7_a_stories_11_h38_41 PP-NIM n7_a_stories_11_h38_31->n7_a_stories_11_h38_41 n7_a_stories_11_h38_32->n7_a_stories_11_h38_33 n7_a_stories_11_h38_34->n7_a_stories_11_h38_35 n7_a_stories_11_h38_37 ADV n7_a_stories_11_h38_36->n7_a_stories_11_h38_37 n7_a_stories_11_h38_37->n7_a_stories_11_h38_38 n7_a_stories_11_h38_39->n7_a_stories_11_h38_40 n7_a_stories_11_h38_42 P-ROLE n7_a_stories_11_h38_41->n7_a_stories_11_h38_42 n7_a_stories_11_h38_44 NP n7_a_stories_11_h38_41->n7_a_stories_11_h38_44 n7_a_stories_11_h38_42->n7_a_stories_11_h38_43 n7_a_stories_11_h38_45 NP-GEN n7_a_stories_11_h38_44->n7_a_stories_11_h38_45 n7_a_stories_11_h38_46 PRO;_ppge_ n7_a_stories_11_h38_45->n7_a_stories_11_h38_46 n7_a_stories_11_h38_46->n7_a_stories_11_h38_47 n7_a_stories_11_h38_48->n7_a_stories_11_h38_49 
( (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))