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_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] 
fof(formula,axiom,
    ! [R_353_5_ONE] :
      ( one(R_353_5_ONE)
     => ? [R_353_2_THERE_APOS_S,R_353_7_HERE,R_353_6_ALIVE] :
          ( here(R_353_7_HERE)
          & alive(R_353_6_ALIVE)
          & there_apos_s(R_353_2_THERE_APOS_S,R_353_5_ONE,R_353_6_ALIVE)
          & nim16(R_353_2_THERE_APOS_S,R_353_7_HERE) ) ) ).


n353_a_dick_1952 n353_a_dick_1952_3 <ldquo> n353_a_dick_1952_5 There n353_a_dick_1952_7 's n353_a_dick_1952_10 no n353_a_dick_1952_12 one n353_a_dick_1952_15 alive n353_a_dick_1952_18 here n353_a_dick_1952_20 . n353_a_dick_1952_1 IP-MAT n353_a_dick_1952_2 PULQ n353_a_dick_1952_1->n353_a_dick_1952_2 n353_a_dick_1952_4 EX n353_a_dick_1952_1->n353_a_dick_1952_4 n353_a_dick_1952_6 BEP;_ex_La_ n353_a_dick_1952_1->n353_a_dick_1952_6 n353_a_dick_1952_8 NP-ESBJ n353_a_dick_1952_1->n353_a_dick_1952_8 n353_a_dick_1952_13 ADJP-PRD n353_a_dick_1952_1->n353_a_dick_1952_13 n353_a_dick_1952_16 ADVP-NIM n353_a_dick_1952_1->n353_a_dick_1952_16 n353_a_dick_1952_19 PUNC n353_a_dick_1952_1->n353_a_dick_1952_19 n353_a_dick_1952_2->n353_a_dick_1952_3 n353_a_dick_1952_4->n353_a_dick_1952_5 n353_a_dick_1952_6->n353_a_dick_1952_7 n353_a_dick_1952_9 Q n353_a_dick_1952_8->n353_a_dick_1952_9 n353_a_dick_1952_11 N n353_a_dick_1952_8->n353_a_dick_1952_11 n353_a_dick_1952_9->n353_a_dick_1952_10 n353_a_dick_1952_11->n353_a_dick_1952_12 n353_a_dick_1952_14 ADJ n353_a_dick_1952_13->n353_a_dick_1952_14 n353_a_dick_1952_14->n353_a_dick_1952_15 n353_a_dick_1952_17 ADV n353_a_dick_1952_16->n353_a_dick_1952_17 n353_a_dick_1952_17->n353_a_dick_1952_18 n353_a_dick_1952_19->n353_a_dick_1952_20 
( (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))