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 z_000_4_a_stories_09_m12_13 r_0004_0009__and and z_000_4_a_stories_09_m12_13->r_0004_0009__and [prd] r_0004_0003__two_r_0004_0004__dogs two dogs z_000_4_a_stories_09_m12_13->r_0004_0003__two_r_0004_0004__dogs [arg0] 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_0006__a_r_0004_0008__dog a dog r_0004_0009__and->r_0004_0006__a_r_0004_0008__dog [conj1] r_0004_0011__big big r_0004_0010__a_r_0004_0012__bulldog->r_0004_0011__big [attrib] r_0004_0007__small small r_0004_0006__a_r_0004_0008__dog->r_0004_0007__small [attrib] r_0004_0001__There_r_0004_0002__were There were r_0004_0001__There_r_0004_0002__were->r_0004_0003__two_r_0004_0004__dogs [arg0] 
fof(formula,axiom,
    ? [R_0004_0003__TWO_R_0004_0004__DOGS,R_0004_0001__THERE_R_0004_0002__WERE,R_0004_0007__SMALL,R_0004_0006__A_R_0004_0008__DOG,R_0004_0011__BIG,R_0004_0010__A_R_0004_0012__BULLDOG,R_0004_0009__AND,Z_000_4_A_STORIES_09_M12_13] :
      ( r_0004_0003__two_r_0004_0004__dogs(R_0004_0003__TWO_R_0004_0004__DOGS)
      & r_0004_0007__small(R_0004_0007__SMALL)
      & r_0004_0011__big(R_0004_0011__BIG)
      & z_000_4_a_stories_09_m12_13(Z_000_4_A_STORIES_09_M12_13)
      & has_prd(Z_000_4_A_STORIES_09_M12_13,R_0004_0009__AND)
      & r_0004_0009__and(R_0004_0009__AND)
      & has_conj2(R_0004_0009__AND,R_0004_0010__A_R_0004_0012__BULLDOG)
      & r_0004_0010__a_r_0004_0012__bulldog(R_0004_0010__A_R_0004_0012__BULLDOG)
      & has_attrib30(R_0004_0010__A_R_0004_0012__BULLDOG,R_0004_0011__BIG)
      & has_conj1(R_0004_0009__AND,R_0004_0006__A_R_0004_0008__DOG)
      & r_0004_0006__a_r_0004_0008__dog(R_0004_0006__A_R_0004_0008__DOG)
      & has_attrib19(R_0004_0006__A_R_0004_0008__DOG,R_0004_0007__SMALL)
      & has_arg0(Z_000_4_A_STORIES_09_M12_13,R_0004_0003__TWO_R_0004_0004__DOGS)
      & r_0004_0001__There_r_0004_0002__were(R_0004_0001__THERE_R_0004_0002__WERE)
      & has_arg0(R_0004_0001__THERE_R_0004_0002__WERE,R_0004_0003__TWO_R_0004_0004__DOGS) ) ).


n4_a_stories_09_m12 n4_a_stories_09_m12__1_1_1 There n4_a_stories_09_m12__1_2_1 were n4_a_stories_09_m12__1_3_1_1 two n4_a_stories_09_m12__1_3_2_1 dogs n4_a_stories_09_m12__1_3_3_1 , n4_a_stories_09_m12__1_3_4_1_1_1_1_1 a n4_a_stories_09_m12__1_3_4_1_1_1_2_1_1 small n4_a_stories_09_m12__1_3_4_1_1_1_3_1 dog n4_a_stories_09_m12__1_3_4_1_1_2_1_1 and n4_a_stories_09_m12__1_3_4_1_1_2_2_1_1 a n4_a_stories_09_m12__1_3_4_1_1_2_2_2_1_1 big n4_a_stories_09_m12__1_3_4_1_1_2_2_3_1 bulldog n4_a_stories_09_m12__1_4_1 . n4_a_stories_09_m12__1 IP-MAT n4_a_stories_09_m12__1_1 EX n4_a_stories_09_m12__1->n4_a_stories_09_m12__1_1 n4_a_stories_09_m12__1_2 BED;_ex_V_ n4_a_stories_09_m12__1->n4_a_stories_09_m12__1_2 n4_a_stories_09_m12__1_3 NP-ESBJ n4_a_stories_09_m12__1->n4_a_stories_09_m12__1_3 n4_a_stories_09_m12__1_4 PUNC n4_a_stories_09_m12__1->n4_a_stories_09_m12__1_4 n4_a_stories_09_m12__1_1->n4_a_stories_09_m12__1_1_1 n4_a_stories_09_m12__1_2->n4_a_stories_09_m12__1_2_1 n4_a_stories_09_m12__1_3_1 NUM n4_a_stories_09_m12__1_3->n4_a_stories_09_m12__1_3_1 n4_a_stories_09_m12__1_3_2 NS n4_a_stories_09_m12__1_3->n4_a_stories_09_m12__1_3_2 n4_a_stories_09_m12__1_3_3 PUNC n4_a_stories_09_m12__1_3->n4_a_stories_09_m12__1_3_3 n4_a_stories_09_m12__1_3_4 IP-PPL n4_a_stories_09_m12__1_3->n4_a_stories_09_m12__1_3_4 n4_a_stories_09_m12__1_3_1->n4_a_stories_09_m12__1_3_1_1 n4_a_stories_09_m12__1_3_2->n4_a_stories_09_m12__1_3_2_1 n4_a_stories_09_m12__1_3_3->n4_a_stories_09_m12__1_3_3_1 n4_a_stories_09_m12__1_3_4_1 NP-PRD n4_a_stories_09_m12__1_3_4->n4_a_stories_09_m12__1_3_4_1 n4_a_stories_09_m12__1_3_4_1_1 NLYR n4_a_stories_09_m12__1_3_4_1->n4_a_stories_09_m12__1_3_4_1_1 n4_a_stories_09_m12__1_3_4_1_1_1 NLYR n4_a_stories_09_m12__1_3_4_1_1->n4_a_stories_09_m12__1_3_4_1_1_1 n4_a_stories_09_m12__1_3_4_1_1_2 CONJP n4_a_stories_09_m12__1_3_4_1_1->n4_a_stories_09_m12__1_3_4_1_1_2 n4_a_stories_09_m12__1_3_4_1_1_1_1 D n4_a_stories_09_m12__1_3_4_1_1_1->n4_a_stories_09_m12__1_3_4_1_1_1_1 n4_a_stories_09_m12__1_3_4_1_1_1_2 ADJP n4_a_stories_09_m12__1_3_4_1_1_1->n4_a_stories_09_m12__1_3_4_1_1_1_2 n4_a_stories_09_m12__1_3_4_1_1_1_3 N n4_a_stories_09_m12__1_3_4_1_1_1->n4_a_stories_09_m12__1_3_4_1_1_1_3 n4_a_stories_09_m12__1_3_4_1_1_1_1->n4_a_stories_09_m12__1_3_4_1_1_1_1_1 n4_a_stories_09_m12__1_3_4_1_1_1_2_1 ADJ n4_a_stories_09_m12__1_3_4_1_1_1_2->n4_a_stories_09_m12__1_3_4_1_1_1_2_1 n4_a_stories_09_m12__1_3_4_1_1_1_2_1->n4_a_stories_09_m12__1_3_4_1_1_1_2_1_1 n4_a_stories_09_m12__1_3_4_1_1_1_3->n4_a_stories_09_m12__1_3_4_1_1_1_3_1 n4_a_stories_09_m12__1_3_4_1_1_2_1 CONJ n4_a_stories_09_m12__1_3_4_1_1_2->n4_a_stories_09_m12__1_3_4_1_1_2_1 n4_a_stories_09_m12__1_3_4_1_1_2_2 NLYR n4_a_stories_09_m12__1_3_4_1_1_2->n4_a_stories_09_m12__1_3_4_1_1_2_2 n4_a_stories_09_m12__1_3_4_1_1_2_1->n4_a_stories_09_m12__1_3_4_1_1_2_1_1 n4_a_stories_09_m12__1_3_4_1_1_2_2_1 D n4_a_stories_09_m12__1_3_4_1_1_2_2->n4_a_stories_09_m12__1_3_4_1_1_2_2_1 n4_a_stories_09_m12__1_3_4_1_1_2_2_2 ADJP n4_a_stories_09_m12__1_3_4_1_1_2_2->n4_a_stories_09_m12__1_3_4_1_1_2_2_2 n4_a_stories_09_m12__1_3_4_1_1_2_2_3 N n4_a_stories_09_m12__1_3_4_1_1_2_2->n4_a_stories_09_m12__1_3_4_1_1_2_2_3 n4_a_stories_09_m12__1_3_4_1_1_2_2_1->n4_a_stories_09_m12__1_3_4_1_1_2_2_1_1 n4_a_stories_09_m12__1_3_4_1_1_2_2_2_1 ADJ n4_a_stories_09_m12__1_3_4_1_1_2_2_2->n4_a_stories_09_m12__1_3_4_1_1_2_2_2_1 n4_a_stories_09_m12__1_3_4_1_1_2_2_2_1->n4_a_stories_09_m12__1_3_4_1_1_2_2_2_1_1 n4_a_stories_09_m12__1_3_4_1_1_2_2_3->n4_a_stories_09_m12__1_3_4_1_1_2_2_3_1 n4_a_stories_09_m12__1_4->n4_a_stories_09_m12__1_4_1 
( (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))