Context                Previous, Next                Top


53_a_kyoto_2
“It does not have.”

%3 r_0053_0003__does_r_0053_0005__have does have r_0053_0002__It It r_0053_0003__does_r_0053_0005__have->r_0053_0002__It [arg0] r_0053_1001____star__ * r_0053_0003__does_r_0053_0005__have->r_0053_1001____star__ [arg1] r_0053_0004__not not r_0053_0004__not->r_0053_0003__does_r_0053_0005__have [keep_scope] 
arc(r_0053_0003__does_r_0053_0005__have, r_0053_0002__It, arg0).
arc(r_0053_0003__does_r_0053_0005__have, r_0053_1001____star__, arg1).
arc(r_0053_0004__not, r_0053_0003__does_r_0053_0005__have, keep_scope).


%3 r_0053_0004__not not r_0053_0003__does_r_0053_0005__have does have r_0053_0004__not->r_0053_0003__does_r_0053_0005__have [keep_scope] r_0053_1001____star__ * r_0053_0003__does_r_0053_0005__have->r_0053_1001____star__ [arg1] r_0053_0002__It It r_0053_0003__does_r_0053_0005__have->r_0053_0002__It [arg0] 
fof(formula,axiom,
    ~ ? [R_53_3_DOES_HAVE,R_53_2_IT,R_53_1001__STAR_] :
        ( it(R_53_2_IT)
        & _star_(R_53_1001__STAR_)
        & does_have(R_53_3_DOES_HAVE,R_53_2_IT,R_53_1001__STAR_) ) ).


n53_a_kyoto_2 n53_a_kyoto_2__1_1_1 <ldquo> n53_a_kyoto_2__1_2_1_1 It n53_a_kyoto_2__1_3_1 does n53_a_kyoto_2__1_4_1 not n53_a_kyoto_2__1_5_1 have n53_a_kyoto_2__1_6_1_1 _*_ n53_a_kyoto_2__1_7_1 . n53_a_kyoto_2__1_8_1 <rdquo> n53_a_kyoto_2__1 IP-MAT n53_a_kyoto_2__1_1 PULQ n53_a_kyoto_2__1->n53_a_kyoto_2__1_1 n53_a_kyoto_2__1_2 NP-SBJ n53_a_kyoto_2__1->n53_a_kyoto_2__1_2 n53_a_kyoto_2__1_3 DOP n53_a_kyoto_2__1->n53_a_kyoto_2__1_3 n53_a_kyoto_2__1_4 NEG n53_a_kyoto_2__1->n53_a_kyoto_2__1_4 n53_a_kyoto_2__1_5 HV;_Tn_ n53_a_kyoto_2__1->n53_a_kyoto_2__1_5 n53_a_kyoto_2__1_6 NP-OB1 n53_a_kyoto_2__1->n53_a_kyoto_2__1_6 n53_a_kyoto_2__1_7 PUNC n53_a_kyoto_2__1->n53_a_kyoto_2__1_7 n53_a_kyoto_2__1_8 PURQ n53_a_kyoto_2__1->n53_a_kyoto_2__1_8 n53_a_kyoto_2__1_1->n53_a_kyoto_2__1_1_1 n53_a_kyoto_2__1_2_1 PRO n53_a_kyoto_2__1_2->n53_a_kyoto_2__1_2_1 n53_a_kyoto_2__1_2_1->n53_a_kyoto_2__1_2_1_1 n53_a_kyoto_2__1_3->n53_a_kyoto_2__1_3_1 n53_a_kyoto_2__1_4->n53_a_kyoto_2__1_4_1 n53_a_kyoto_2__1_5->n53_a_kyoto_2__1_5_1 n53_a_kyoto_2__1_6_1 N n53_a_kyoto_2__1_6->n53_a_kyoto_2__1_6_1 n53_a_kyoto_2__1_6_1->n53_a_kyoto_2__1_6_1_1 n53_a_kyoto_2__1_7->n53_a_kyoto_2__1_7_1 n53_a_kyoto_2__1_8->n53_a_kyoto_2__1_8_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (PRO It;{it}))
          (DOP does;{do})
          (NEG not;{not})
          (HV;_Tn_ have;{have})
          (NP-OB1 (N _*_))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 53_a_kyoto_2;BDS_00002;52))