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] z_000_53_a_kyoto_2_13 r_0053_0003__does_r_0053_0005__have->z_000_53_a_kyoto_2_13 [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, z_000_53_a_kyoto_2_13, 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] z_000_53_a_kyoto_2_13 r_0053_0003__does_r_0053_0005__have->z_000_53_a_kyoto_2_13 [arg1] r_0053_0002__It It r_0053_0003__does_r_0053_0005__have->r_0053_0002__It [arg0] 
fof(formula,axiom,
    ~ ? [R_0053_0002__IT,Z_000_53_A_KYOTO_2_13,R_0053_0003__DOES_R_0053_0005__HAVE] :
        ( r_0053_0002__It(R_0053_0002__IT)
        & z_000_53_a_kyoto_2_13(Z_000_53_A_KYOTO_2_13)
        & r_0053_0003__does_r_0053_0005__have(R_0053_0003__DOES_R_0053_0005__HAVE)
        & has_arg1(R_0053_0003__DOES_R_0053_0005__HAVE,Z_000_53_A_KYOTO_2_13)
        & has_arg0(R_0053_0003__DOES_R_0053_0005__HAVE,R_0053_0002__IT) ) ).


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))