Context                Previous, Next                Top


422_a_dick_1952
“That,” he said, “is the dragon.

%3 r_0422_0009__is is r_0422_0002__That That r_0422_0009__is->r_0422_0002__That [arg0] r_0422_0010__the_r_0422_0011__dragon the dragon r_0422_0009__is->r_0422_0010__the_r_0422_0011__dragon [prd] 
arc(r_0422_0009__is, r_0422_0002__That, arg0).
arc(r_0422_0009__is, r_0422_0010__the_r_0422_0011__dragon, prd).


%3 r_0422_0009__is is r_0422_0010__the_r_0422_0011__dragon the dragon r_0422_0009__is->r_0422_0010__the_r_0422_0011__dragon [prd] r_0422_0002__That That r_0422_0009__is->r_0422_0002__That [arg0] 
fof(formula,axiom,
    ? [R_0422_0002__THAT,R_0422_0010__THE_R_0422_0011__DRAGON,R_0422_0009__IS] :
      ( r_0422_0002__That(R_0422_0002__THAT)
      & r_0422_0010__the_r_0422_0011__dragon(R_0422_0010__THE_R_0422_0011__DRAGON)
      & r_0422_0009__is(R_0422_0009__IS)
      & has_prd(R_0422_0009__IS,R_0422_0010__THE_R_0422_0011__DRAGON)
      & has_arg0(R_0422_0009__IS,R_0422_0002__THAT) ) ).


n422_a_dick_1952 n422_a_dick_1952__1_1_1 <ldquo> n422_a_dick_1952__1_2_1_1 That n422_a_dick_1952__1_3_1 , n422_a_dick_1952__1_4_1 <rdquo> n422_a_dick_1952__1_5_1_1_1_1 he n422_a_dick_1952__1_5_1_2_1 said n422_a_dick_1952__1_6_1 , n422_a_dick_1952__1_7_1 <ldquo> n422_a_dick_1952__1_8_1 is n422_a_dick_1952__1_9_1_1 the n422_a_dick_1952__1_9_2_1 dragon n422_a_dick_1952__1_10_1 . n422_a_dick_1952__1 IP-MAT n422_a_dick_1952__1_1 PULQ n422_a_dick_1952__1->n422_a_dick_1952__1_1 n422_a_dick_1952__1_2 NP-SBJ n422_a_dick_1952__1->n422_a_dick_1952__1_2 n422_a_dick_1952__1_3 PUNC n422_a_dick_1952__1->n422_a_dick_1952__1_3 n422_a_dick_1952__1_4 PURQ n422_a_dick_1952__1->n422_a_dick_1952__1_4 n422_a_dick_1952__1_5 PRN n422_a_dick_1952__1->n422_a_dick_1952__1_5 n422_a_dick_1952__1_6 PUNC n422_a_dick_1952__1->n422_a_dick_1952__1_6 n422_a_dick_1952__1_7 PULQ n422_a_dick_1952__1->n422_a_dick_1952__1_7 n422_a_dick_1952__1_8 BEP;_Ln_ n422_a_dick_1952__1->n422_a_dick_1952__1_8 n422_a_dick_1952__1_9 NP-PRD n422_a_dick_1952__1->n422_a_dick_1952__1_9 n422_a_dick_1952__1_10 PUNC n422_a_dick_1952__1->n422_a_dick_1952__1_10 n422_a_dick_1952__1_1->n422_a_dick_1952__1_1_1 n422_a_dick_1952__1_2_1 D;_nphd_ n422_a_dick_1952__1_2->n422_a_dick_1952__1_2_1 n422_a_dick_1952__1_2_1->n422_a_dick_1952__1_2_1_1 n422_a_dick_1952__1_3->n422_a_dick_1952__1_3_1 n422_a_dick_1952__1_4->n422_a_dick_1952__1_4_1 n422_a_dick_1952__1_5_1 IP-MAT n422_a_dick_1952__1_5->n422_a_dick_1952__1_5_1 n422_a_dick_1952__1_5_1_1 NP-SBJ n422_a_dick_1952__1_5_1->n422_a_dick_1952__1_5_1_1 n422_a_dick_1952__1_5_1_2 VBD;_Tr_ n422_a_dick_1952__1_5_1->n422_a_dick_1952__1_5_1_2 n422_a_dick_1952__1_5_1_1_1 PRO n422_a_dick_1952__1_5_1_1->n422_a_dick_1952__1_5_1_1_1 n422_a_dick_1952__1_5_1_1_1->n422_a_dick_1952__1_5_1_1_1_1 n422_a_dick_1952__1_5_1_2->n422_a_dick_1952__1_5_1_2_1 n422_a_dick_1952__1_6->n422_a_dick_1952__1_6_1 n422_a_dick_1952__1_7->n422_a_dick_1952__1_7_1 n422_a_dick_1952__1_8->n422_a_dick_1952__1_8_1 n422_a_dick_1952__1_9_1 D n422_a_dick_1952__1_9->n422_a_dick_1952__1_9_1 n422_a_dick_1952__1_9_2 N n422_a_dick_1952__1_9->n422_a_dick_1952__1_9_2 n422_a_dick_1952__1_9_1->n422_a_dick_1952__1_9_1_1 n422_a_dick_1952__1_9_2->n422_a_dick_1952__1_9_2_1 n422_a_dick_1952__1_10->n422_a_dick_1952__1_10_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{GUN} (D;_nphd_ That;{that}))
          (PUNC ,)
          (PURQ <rdquo>)
          (PRN (IP-MAT (NP-SBJ;{DORLE} (PRO he;{he}))
                       (VBD;_Tr_ said;{say})))
          (PUNC ,)
          (PULQ <ldquo>)
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (N dragon;{dragon}))
          (PUNC .))
  (ID 422_a_dick_1952))