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_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] 
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_3 <ldquo> n53_a_kyoto_2_6 It n53_a_kyoto_2_8 does n53_a_kyoto_2_10 not n53_a_kyoto_2_12 have n53_a_kyoto_2_15 _*_ n53_a_kyoto_2_17 . n53_a_kyoto_2_19 <rdquo> n53_a_kyoto_2_1 IP-MAT n53_a_kyoto_2_2 PULQ n53_a_kyoto_2_1->n53_a_kyoto_2_2 n53_a_kyoto_2_4 NP-SBJ n53_a_kyoto_2_1->n53_a_kyoto_2_4 n53_a_kyoto_2_7 DOP n53_a_kyoto_2_1->n53_a_kyoto_2_7 n53_a_kyoto_2_9 NEG n53_a_kyoto_2_1->n53_a_kyoto_2_9 n53_a_kyoto_2_11 HV;_Tn_ n53_a_kyoto_2_1->n53_a_kyoto_2_11 n53_a_kyoto_2_13 NP-OB1 n53_a_kyoto_2_1->n53_a_kyoto_2_13 n53_a_kyoto_2_16 PUNC n53_a_kyoto_2_1->n53_a_kyoto_2_16 n53_a_kyoto_2_18 PURQ n53_a_kyoto_2_1->n53_a_kyoto_2_18 n53_a_kyoto_2_2->n53_a_kyoto_2_3 n53_a_kyoto_2_5 PRO n53_a_kyoto_2_4->n53_a_kyoto_2_5 n53_a_kyoto_2_5->n53_a_kyoto_2_6 n53_a_kyoto_2_7->n53_a_kyoto_2_8 n53_a_kyoto_2_9->n53_a_kyoto_2_10 n53_a_kyoto_2_11->n53_a_kyoto_2_12 n53_a_kyoto_2_14 N n53_a_kyoto_2_13->n53_a_kyoto_2_14 n53_a_kyoto_2_14->n53_a_kyoto_2_15 n53_a_kyoto_2_16->n53_a_kyoto_2_17 n53_a_kyoto_2_18->n53_a_kyoto_2_19 
( (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))