Context                Previous, Next                Top


353_a_dick_1952
“There's no one alive here.

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


%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_0003___apos_s 's r_0353_0004__no__quant->r_0353_0003___apos_s [scope] r_0353_0003___apos_s->r_0353_0005__one [arg0] r_0353_0007__here here r_0353_0003___apos_s->r_0353_0007__here [nim] r_0353_0006__alive alive r_0353_0003___apos_s->r_0353_0006__alive [prd] 
arc(r_0353_0003___apos_s,r_0353_0005__one,arg0).
arc(r_0353_0003___apos_s,r_0353_0006__alive,prd).
arc(r_0353_0003___apos_s,r_0353_0007__here,nim).
arc(r_0353_0004__no__quant,r_0353_0003___apos_s,scope).
arc(r_0353_0004__no__quant,r_0353_0005__one,restriction).


%3 r_0353_0003___apos_s 's r_0353_0005__one one r_0353_0003___apos_s->r_0353_0005__one [arg0] r_0353_0006__alive alive r_0353_0003___apos_s->r_0353_0006__alive [prd] r_0353_0007__here here r_0353_0003___apos_s->r_0353_0007__here [nim] r_0353_0004__no__quant no [quant] r_0353_0004__no__quant->r_0353_0003___apos_s [scope] r_0353_0004__no__quant->r_0353_0005__one [restriction] 
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_0003___APOS_S] :
          ( r_0353_0006__alive(R_0353_0006__ALIVE)
          & r_0353_0007__here(R_0353_0007__HERE)
          & r_0353_0003___apos_s(R_0353_0003___APOS_S)
          & has_nim(R_0353_0003___APOS_S,R_0353_0007__HERE)
          & has_prd(R_0353_0003___APOS_S,R_0353_0006__ALIVE)
          & has_arg0(R_0353_0003___APOS_S,R_0353_0005__ONE) ) ) ).