Context                Previous, Next                Top


353_a_dick_1952
“There's no one alive here.

%3 r_0353_0002__There_r_0353_0003___apos_s There 's r_0353_0005__one one r_0353_0002__There_r_0353_0003___apos_s->r_0353_0005__one [arg0] r_0353_0006__alive alive r_0353_0002__There_r_0353_0003___apos_s->r_0353_0006__alive [prd] r_0353_0007__here here r_0353_0002__There_r_0353_0003___apos_s->r_0353_0007__here [nim] r_0353_0004__no_quant no [quant] r_0353_0004__no_quant->r_0353_0002__There_r_0353_0003___apos_s [scope] r_0353_0004__no_quant->r_0353_0005__one [restriction] 
arc(r_0353_0002__There_r_0353_0003___apos_s, r_0353_0005__one, arg0).
arc(r_0353_0002__There_r_0353_0003___apos_s, r_0353_0006__alive, prd).
arc(r_0353_0002__There_r_0353_0003___apos_s, r_0353_0007__here, nim16).
arc(r_0353_0004__no_quant, r_0353_0002__There_r_0353_0003___apos_s, scope).
arc(r_0353_0004__no_quant, r_0353_0005__one, restriction).


%3 r_0353_0004__no_quant no [quant] r_0353_0005__one one r_0353_0004__no_quant->r_0353_0005__one [restriction] r_0353_0002__There_r_0353_0003___apos_s There 's r_0353_0004__no_quant->r_0353_0002__There_r_0353_0003___apos_s [scope] r_0353_0002__There_r_0353_0003___apos_s->r_0353_0005__one [arg0] r_0353_0007__here here r_0353_0002__There_r_0353_0003___apos_s->r_0353_0007__here [nim] r_0353_0006__alive alive r_0353_0002__There_r_0353_0003___apos_s->r_0353_0006__alive [prd] 
fof(formula,axiom,
    ! [R_0353_0005__ONE] :
      ( r_0353_0005__one(R_0353_0005__ONE)
     => ? [R_0353_0006__ALIVE,R_0353_0007__HERE,R_0353_0002__THERE_R_0353_0003___APOS_S] :
          ( r_0353_0006__alive(R_0353_0006__ALIVE)
          & r_0353_0007__here(R_0353_0007__HERE)
          & r_0353_0002__There_r_0353_0003___apos_s(R_0353_0002__THERE_R_0353_0003___APOS_S)
          & has_nim16(R_0353_0002__THERE_R_0353_0003___APOS_S,R_0353_0007__HERE)
          & has_prd(R_0353_0002__THERE_R_0353_0003___APOS_S,R_0353_0006__ALIVE)
          & has_arg0(R_0353_0002__THERE_R_0353_0003___APOS_S,R_0353_0005__ONE) ) ) ).


n353_a_dick_1952 n353_a_dick_1952__1_1_1 <ldquo> n353_a_dick_1952__1_2_1 There n353_a_dick_1952__1_3_1 's n353_a_dick_1952__1_4_1_1 no n353_a_dick_1952__1_4_2_1 one n353_a_dick_1952__1_5_1_1 alive n353_a_dick_1952__1_6_1_1 here n353_a_dick_1952__1_7_1 . n353_a_dick_1952__1 IP-MAT n353_a_dick_1952__1_1 PULQ n353_a_dick_1952__1->n353_a_dick_1952__1_1 n353_a_dick_1952__1_2 EX n353_a_dick_1952__1->n353_a_dick_1952__1_2 n353_a_dick_1952__1_3 BEP;_ex_La_ n353_a_dick_1952__1->n353_a_dick_1952__1_3 n353_a_dick_1952__1_4 NP-ESBJ n353_a_dick_1952__1->n353_a_dick_1952__1_4 n353_a_dick_1952__1_5 ADJP-PRD n353_a_dick_1952__1->n353_a_dick_1952__1_5 n353_a_dick_1952__1_6 ADVP-NIM n353_a_dick_1952__1->n353_a_dick_1952__1_6 n353_a_dick_1952__1_7 PUNC n353_a_dick_1952__1->n353_a_dick_1952__1_7 n353_a_dick_1952__1_1->n353_a_dick_1952__1_1_1 n353_a_dick_1952__1_2->n353_a_dick_1952__1_2_1 n353_a_dick_1952__1_3->n353_a_dick_1952__1_3_1 n353_a_dick_1952__1_4_1 Q n353_a_dick_1952__1_4->n353_a_dick_1952__1_4_1 n353_a_dick_1952__1_4_2 N n353_a_dick_1952__1_4->n353_a_dick_1952__1_4_2 n353_a_dick_1952__1_4_1->n353_a_dick_1952__1_4_1_1 n353_a_dick_1952__1_4_2->n353_a_dick_1952__1_4_2_1 n353_a_dick_1952__1_5_1 ADJ n353_a_dick_1952__1_5->n353_a_dick_1952__1_5_1 n353_a_dick_1952__1_5_1->n353_a_dick_1952__1_5_1_1 n353_a_dick_1952__1_6_1 ADV n353_a_dick_1952__1_6->n353_a_dick_1952__1_6_1 n353_a_dick_1952__1_6_1->n353_a_dick_1952__1_6_1_1 n353_a_dick_1952__1_7->n353_a_dick_1952__1_7_1 
( (IP-MAT (PULQ <ldquo>)
          (EX There;{there})
          (BEP;_ex_La_ <apos>s;{be})
          (NP-ESBJ (Q no;{no})
                   (N one;{one}))
          (ADJP-PRD (ADJ alive;{alive}))
          (ADVP-NIM (ADV here;{here}))
          (PUNC .))
  (ID 353_a_dick_1952))