Context                Previous, Next                Top


4_a_stories_09_m12
There were two dogs, a small dog and a big bulldog.

%3 r_0004_0001__There_r_0004_0002__were There were r_0004_0003__two_r_0004_0004__dogs two dogs r_0004_0001__There_r_0004_0002__were->r_0004_0003__two_r_0004_0004__dogs [arg0] r_0004_0006__a_r_0004_0008__dog a dog r_0004_0007__small small r_0004_0006__a_r_0004_0008__dog->r_0004_0007__small [attrib] r_0004_0009__and and r_0004_0009__and->r_0004_0006__a_r_0004_0008__dog [conj1] r_0004_0010__a_r_0004_0012__bulldog a bulldog r_0004_0009__and->r_0004_0010__a_r_0004_0012__bulldog [conj2] r_0004_0011__big big r_0004_0010__a_r_0004_0012__bulldog->r_0004_0011__big [attrib] z_000_4_a_stories_09_m12_13 z_000_4_a_stories_09_m12_13->r_0004_0003__two_r_0004_0004__dogs [arg0] z_000_4_a_stories_09_m12_13->r_0004_0009__and [prd] 
arc(r_0004_0001__There_r_0004_0002__were, r_0004_0003__two_r_0004_0004__dogs, arg0).
arc(r_0004_0006__a_r_0004_0008__dog, r_0004_0007__small, attrib19).
arc(r_0004_0009__and, r_0004_0006__a_r_0004_0008__dog, conj1).
arc(r_0004_0009__and, r_0004_0010__a_r_0004_0012__bulldog, conj2).
arc(r_0004_0010__a_r_0004_0012__bulldog, r_0004_0011__big, attrib30).
arc(z_000_4_a_stories_09_m12_13, r_0004_0003__two_r_0004_0004__dogs, arg0).
arc(z_000_4_a_stories_09_m12_13, r_0004_0009__and, prd).


%3 r_0004_0001__There_r_0004_0002__were There were r_0004_0003__two_r_0004_0004__dogs two dogs r_0004_0001__There_r_0004_0002__were->r_0004_0003__two_r_0004_0004__dogs [arg0] r_0004_0006__a_r_0004_0008__dog a dog r_0004_0007__small small r_0004_0006__a_r_0004_0008__dog->r_0004_0007__small [attrib] r_0004_0009__and and r_0004_0009__and->r_0004_0006__a_r_0004_0008__dog [conj1] r_0004_0010__a_r_0004_0012__bulldog a bulldog r_0004_0009__and->r_0004_0010__a_r_0004_0012__bulldog [conj2] r_0004_0011__big big r_0004_0010__a_r_0004_0012__bulldog->r_0004_0011__big [attrib] z_000_4_a_stories_09_m12_13 z_000_4_a_stories_09_m12_13->r_0004_0003__two_r_0004_0004__dogs [arg0] z_000_4_a_stories_09_m12_13->r_0004_0009__and [prd] 
fof(formula,axiom,
    ? [R_4_1_THERE_WERE,Z_4_A_STORIES_9_M12_13,R_4_3_TWO_DOGS,R_4_9_AND,R_4_6_A_DOG,R_4_7_SMALL,R_4_10_A_BULLDOG,R_4_11_BIG] :
      ( two_dogs(R_4_3_TWO_DOGS)
      & small(R_4_7_SMALL)
      & big(R_4_11_BIG)
      & there_were(R_4_1_THERE_WERE,R_4_3_TWO_DOGS)
      & z_4_a_stories_9_m12_13(Z_4_A_STORIES_9_M12_13,R_4_3_TWO_DOGS,R_4_9_AND)
      & and(R_4_9_AND)
      & conj1(R_4_9_AND,R_4_6_A_DOG)
      & a_dog(R_4_6_A_DOG)
      & attrib19(R_4_6_A_DOG,R_4_7_SMALL)
      & conj2(R_4_9_AND,R_4_10_A_BULLDOG)
      & a_bulldog(R_4_10_A_BULLDOG)
      & attrib30(R_4_10_A_BULLDOG,R_4_11_BIG) ) ).


n4_a_stories_09_m12 n4_a_stories_09_m12_3 There n4_a_stories_09_m12_5 were n4_a_stories_09_m12_8 two n4_a_stories_09_m12_10 dogs n4_a_stories_09_m12_12 , n4_a_stories_09_m12_18 a n4_a_stories_09_m12_21 small n4_a_stories_09_m12_23 dog n4_a_stories_09_m12_26 and n4_a_stories_09_m12_29 a n4_a_stories_09_m12_32 big n4_a_stories_09_m12_34 bulldog n4_a_stories_09_m12_36 . n4_a_stories_09_m12_1 IP-MAT n4_a_stories_09_m12_2 EX n4_a_stories_09_m12_1->n4_a_stories_09_m12_2 n4_a_stories_09_m12_4 BED;_ex_V_ n4_a_stories_09_m12_1->n4_a_stories_09_m12_4 n4_a_stories_09_m12_6 NP-ESBJ n4_a_stories_09_m12_1->n4_a_stories_09_m12_6 n4_a_stories_09_m12_35 PUNC n4_a_stories_09_m12_1->n4_a_stories_09_m12_35 n4_a_stories_09_m12_2->n4_a_stories_09_m12_3 n4_a_stories_09_m12_4->n4_a_stories_09_m12_5 n4_a_stories_09_m12_7 NUM n4_a_stories_09_m12_6->n4_a_stories_09_m12_7 n4_a_stories_09_m12_9 NS n4_a_stories_09_m12_6->n4_a_stories_09_m12_9 n4_a_stories_09_m12_11 PUNC n4_a_stories_09_m12_6->n4_a_stories_09_m12_11 n4_a_stories_09_m12_13 IP-PPL n4_a_stories_09_m12_6->n4_a_stories_09_m12_13 n4_a_stories_09_m12_7->n4_a_stories_09_m12_8 n4_a_stories_09_m12_9->n4_a_stories_09_m12_10 n4_a_stories_09_m12_11->n4_a_stories_09_m12_12 n4_a_stories_09_m12_14 NP-PRD n4_a_stories_09_m12_13->n4_a_stories_09_m12_14 n4_a_stories_09_m12_15 NLYR n4_a_stories_09_m12_14->n4_a_stories_09_m12_15 n4_a_stories_09_m12_16 NLYR n4_a_stories_09_m12_15->n4_a_stories_09_m12_16 n4_a_stories_09_m12_24 CONJP n4_a_stories_09_m12_15->n4_a_stories_09_m12_24 n4_a_stories_09_m12_17 D n4_a_stories_09_m12_16->n4_a_stories_09_m12_17 n4_a_stories_09_m12_19 ADJP n4_a_stories_09_m12_16->n4_a_stories_09_m12_19 n4_a_stories_09_m12_22 N n4_a_stories_09_m12_16->n4_a_stories_09_m12_22 n4_a_stories_09_m12_17->n4_a_stories_09_m12_18 n4_a_stories_09_m12_20 ADJ n4_a_stories_09_m12_19->n4_a_stories_09_m12_20 n4_a_stories_09_m12_20->n4_a_stories_09_m12_21 n4_a_stories_09_m12_22->n4_a_stories_09_m12_23 n4_a_stories_09_m12_25 CONJ n4_a_stories_09_m12_24->n4_a_stories_09_m12_25 n4_a_stories_09_m12_27 NLYR n4_a_stories_09_m12_24->n4_a_stories_09_m12_27 n4_a_stories_09_m12_25->n4_a_stories_09_m12_26 n4_a_stories_09_m12_28 D n4_a_stories_09_m12_27->n4_a_stories_09_m12_28 n4_a_stories_09_m12_30 ADJP n4_a_stories_09_m12_27->n4_a_stories_09_m12_30 n4_a_stories_09_m12_33 N n4_a_stories_09_m12_27->n4_a_stories_09_m12_33 n4_a_stories_09_m12_28->n4_a_stories_09_m12_29 n4_a_stories_09_m12_31 ADJ n4_a_stories_09_m12_30->n4_a_stories_09_m12_31 n4_a_stories_09_m12_31->n4_a_stories_09_m12_32 n4_a_stories_09_m12_33->n4_a_stories_09_m12_34 n4_a_stories_09_m12_35->n4_a_stories_09_m12_36 
( (IP-MAT (EX There;{there})
          (BED;_ex_V_ were;{be})
          (NP-ESBJ (NUM two;{two})
                   (NS dogs;{dog})
                   (PUNC ,)
                   (IP-PPL (NP-PRD (NLYR (NLYR (D a;{a})
                                               (ADJP (ADJ small;{small}))
                                               (N dog;{dog}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR;{BULLDOG} (D a;{a})
                                                                (ADJP (ADJ big;{big}))
                                                                (N bulldog;{bulldog})))))))
          (PUNC .))
  (ID 4_a_stories_09_m12))