Context                Previous, Next                Top


13_a_saint_exupery_1943
My drawing was not a picture of a hat.

%3 r_0013_0002__drawing drawing r_0013_0001__My My r_0013_0002__drawing->r_0013_0001__My [gen] r_0013_0003__was was r_0013_0003__was->r_0013_0002__drawing [arg0] r_0013_0005__a_r_0013_0006__picture a picture r_0013_0003__was->r_0013_0005__a_r_0013_0006__picture [prd] r_0013_0008__a_r_0013_0009__hat a hat r_0013_0005__a_r_0013_0006__picture->r_0013_0008__a_r_0013_0009__hat of r_0013_0004__not not r_0013_0004__not->r_0013_0003__was [keep_scope] 
arc(r_0013_0002__drawing, r_0013_0001__My, gen).
arc(r_0013_0003__was, r_0013_0002__drawing, arg0).
arc(r_0013_0003__was, r_0013_0005__a_r_0013_0006__picture, prd).
arc(r_0013_0004__not, r_0013_0003__was, keep_scope).
arc(r_0013_0005__a_r_0013_0006__picture, r_0013_0008__a_r_0013_0009__hat, r_0013_0007__of).


%3 r_0013_0002__drawing drawing r_0013_0001__My My r_0013_0002__drawing->r_0013_0001__My [gen] r_0013_0003__was was r_0013_0003__was->r_0013_0002__drawing [arg0] r_0013_0005__a_r_0013_0006__picture a picture r_0013_0003__was->r_0013_0005__a_r_0013_0006__picture [prd] r_0013_0008__a_r_0013_0009__hat a hat r_0013_0005__a_r_0013_0006__picture->r_0013_0008__a_r_0013_0009__hat of r_0013_0004__not not r_0013_0004__not->r_0013_0003__was [keep_scope] 
fof(formula,axiom,
    ~ ? [R_13_3_WAS,R_13_2_DRAWING,R_13_1_MY,R_13_5_A_PICTURE,R_13_8_A_HAT] :
        ( my(R_13_1_MY)
        & a_hat(R_13_8_A_HAT)
        & was(R_13_3_WAS,R_13_2_DRAWING,R_13_5_A_PICTURE)
        & drawing(R_13_2_DRAWING)
        & gen(R_13_2_DRAWING,R_13_1_MY)
        & a_picture(R_13_5_A_PICTURE)
        & of(R_13_5_A_PICTURE,R_13_8_A_HAT) ) ).


n13_a_saint_exupery_1943 n13_a_saint_exupery_1943_5 My n13_a_saint_exupery_1943_7 drawing n13_a_saint_exupery_1943_9 was n13_a_saint_exupery_1943_11 not n13_a_saint_exupery_1943_14 a n13_a_saint_exupery_1943_16 picture n13_a_saint_exupery_1943_19 of n13_a_saint_exupery_1943_22 a n13_a_saint_exupery_1943_24 hat n13_a_saint_exupery_1943_26 . n13_a_saint_exupery_1943_1 IP-MAT n13_a_saint_exupery_1943_2 NP-SBJ n13_a_saint_exupery_1943_1->n13_a_saint_exupery_1943_2 n13_a_saint_exupery_1943_8 BED;_Ln_ n13_a_saint_exupery_1943_1->n13_a_saint_exupery_1943_8 n13_a_saint_exupery_1943_10 NEG n13_a_saint_exupery_1943_1->n13_a_saint_exupery_1943_10 n13_a_saint_exupery_1943_12 NP-PRD n13_a_saint_exupery_1943_1->n13_a_saint_exupery_1943_12 n13_a_saint_exupery_1943_25 PUNC n13_a_saint_exupery_1943_1->n13_a_saint_exupery_1943_25 n13_a_saint_exupery_1943_3 NP-GEN n13_a_saint_exupery_1943_2->n13_a_saint_exupery_1943_3 n13_a_saint_exupery_1943_6 N n13_a_saint_exupery_1943_2->n13_a_saint_exupery_1943_6 n13_a_saint_exupery_1943_4 PRO;_genm_ n13_a_saint_exupery_1943_3->n13_a_saint_exupery_1943_4 n13_a_saint_exupery_1943_4->n13_a_saint_exupery_1943_5 n13_a_saint_exupery_1943_6->n13_a_saint_exupery_1943_7 n13_a_saint_exupery_1943_8->n13_a_saint_exupery_1943_9 n13_a_saint_exupery_1943_10->n13_a_saint_exupery_1943_11 n13_a_saint_exupery_1943_13 D n13_a_saint_exupery_1943_12->n13_a_saint_exupery_1943_13 n13_a_saint_exupery_1943_15 N n13_a_saint_exupery_1943_12->n13_a_saint_exupery_1943_15 n13_a_saint_exupery_1943_17 PP n13_a_saint_exupery_1943_12->n13_a_saint_exupery_1943_17 n13_a_saint_exupery_1943_13->n13_a_saint_exupery_1943_14 n13_a_saint_exupery_1943_15->n13_a_saint_exupery_1943_16 n13_a_saint_exupery_1943_18 P-ROLE n13_a_saint_exupery_1943_17->n13_a_saint_exupery_1943_18 n13_a_saint_exupery_1943_20 NP n13_a_saint_exupery_1943_17->n13_a_saint_exupery_1943_20 n13_a_saint_exupery_1943_18->n13_a_saint_exupery_1943_19 n13_a_saint_exupery_1943_21 D n13_a_saint_exupery_1943_20->n13_a_saint_exupery_1943_21 n13_a_saint_exupery_1943_23 N n13_a_saint_exupery_1943_20->n13_a_saint_exupery_1943_23 n13_a_saint_exupery_1943_21->n13_a_saint_exupery_1943_22 n13_a_saint_exupery_1943_23->n13_a_saint_exupery_1943_24 n13_a_saint_exupery_1943_25->n13_a_saint_exupery_1943_26 
( (IP-MAT (NP-SBJ;{ARTWORK} (NP-GEN (PRO;_genm_ My;{my}))
                            (N drawing;{drawing}))
          (BED;_Ln_ was;{be})
          (NEG not;{not})
          (NP-PRD (D a;{a})
                  (N picture;{picture})
                  (PP (P-ROLE of;{of})
                      (NP (D a;{a})
                          (N hat;{hat}))))
          (PUNC .))
  (ID 13_a_saint_exupery_1943))