Context                Previous, Next                Top


253_a_dick_1952
There was not much left.

n253_a_dick_1952 n253_a_dick_1952__1_1_1 There n253_a_dick_1952__1_2_1 was n253_a_dick_1952__1_3_1 not n253_a_dick_1952__1_4_1_1_1 much n253_a_dick_1952__1_5_1_1 * n253_a_dick_1952__1_5_2_1 left n253_a_dick_1952__1_6_1 . n253_a_dick_1952__1 IP-MAT n253_a_dick_1952__1_1 EX n253_a_dick_1952__1->n253_a_dick_1952__1_1 n253_a_dick_1952__1_2 BED;_ex_cat_VePASS_ n253_a_dick_1952__1->n253_a_dick_1952__1_2 n253_a_dick_1952__1_3 NEG n253_a_dick_1952__1->n253_a_dick_1952__1_3 n253_a_dick_1952__1_4 NP-ESBJ n253_a_dick_1952__1->n253_a_dick_1952__1_4 n253_a_dick_1952__1_5 IP-PPL-CAT n253_a_dick_1952__1->n253_a_dick_1952__1_5 n253_a_dick_1952__1_6 PUNC n253_a_dick_1952__1->n253_a_dick_1952__1_6 n253_a_dick_1952__1_1->n253_a_dick_1952__1_1_1 n253_a_dick_1952__1_2->n253_a_dick_1952__1_2_1 n253_a_dick_1952__1_3->n253_a_dick_1952__1_3_1 n253_a_dick_1952__1_4_1 ADJP n253_a_dick_1952__1_4->n253_a_dick_1952__1_4_1 n253_a_dick_1952__1_4_1_1 ADJ n253_a_dick_1952__1_4_1->n253_a_dick_1952__1_4_1_1 n253_a_dick_1952__1_4_1_1->n253_a_dick_1952__1_4_1_1_1 n253_a_dick_1952__1_5_1 NP-LGS n253_a_dick_1952__1_5->n253_a_dick_1952__1_5_1 n253_a_dick_1952__1_5_2 VVN;_Tn_ n253_a_dick_1952__1_5->n253_a_dick_1952__1_5_2 n253_a_dick_1952__1_5_1->n253_a_dick_1952__1_5_1_1 n253_a_dick_1952__1_5_2->n253_a_dick_1952__1_5_2_1 n253_a_dick_1952__1_6->n253_a_dick_1952__1_6_1 
( (IP-MAT (EX There;{there})
          (BED;_ex_cat_VePASS_ was;{be})
          (NEG not;{not})
          (NP-ESBJ (ADJP (ADJ much;{much})))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ left;{leave}))
          (PUNC .))
  (ID 253_a_dick_1952))


%3 z_0253_5003 r_0253_0004__much much z_0253_5003->r_0253_0004__much [attrib] r_0253_0005__left left r_0253_0005__left->z_0253_5003 [arg1] z_0253_5005___star_ * r_0253_0005__left->z_0253_5005___star_ [arg0] r_0253_0003__not not r_0253_0002__was was r_0253_0003__not->r_0253_0002__was [keep_scope] r_0253_0002__was->r_0253_0005__left [scope] 
arc(r_0253_0002__was,r_0253_0005__left,scope).
arc(r_0253_0003__not,r_0253_0002__was,keep_scope).
arc(r_0253_0005__left,z_0253_5003,arg1).
arc(r_0253_0005__left,z_0253_5005___star_,arg0).
arc(z_0253_5003,r_0253_0004__much,attrib).


%3 r_0253_0003__not not r_0253_0002__was_r_0253_0005__left was left r_0253_0003__not->r_0253_0002__was_r_0253_0005__left [keep_scope] z_0253_5003 r_0253_0002__was_r_0253_0005__left->z_0253_5003 [arg1] z_0253_5005___star_ * r_0253_0002__was_r_0253_0005__left->z_0253_5005___star_ [arg0] r_0253_0004__much much z_0253_5003->r_0253_0004__much [attrib] 
fof(formula,axiom,
    ~ ? [R_0253_0004__MUCH,Z_0253_5003,Z_0253_5005___STAR_,R_0253_0002__WAS_R_0253_0005__LEFT] :
        ( r_0253_0004__much(R_0253_0004__MUCH)
        & z_0253_5005___star_(Z_0253_5005___STAR_)
        & r_0253_0002__was_r_0253_0005__left(R_0253_0002__WAS_R_0253_0005__LEFT)
        & has_arg0(R_0253_0002__WAS_R_0253_0005__LEFT,Z_0253_5005___STAR_)
        & has_arg1(R_0253_0002__WAS_R_0253_0005__LEFT,Z_0253_5003)
        & z_0253_5003(Z_0253_5003)
        & has_attrib(Z_0253_5003,R_0253_0004__MUCH) ) ).