Context                Previous, Next                Top


18_a_dick_1952
“There's no point even in landing.

%3 r_0018_0002__There_r_0018_0003___apos_s There 's r_0018_0005__point point r_0018_0002__There_r_0018_0003___apos_s->r_0018_0005__point [arg0] r_0018_0008__landing landing r_0018_0002__There_r_0018_0003___apos_s->r_0018_0008__landing even in [clr] r_0018_0004__no_quant no [quant] r_0018_0004__no_quant->r_0018_0002__There_r_0018_0003___apos_s [scope] r_0018_0004__no_quant->r_0018_0005__point [restriction] 
arc(r_0018_0002__There_r_0018_0003___apos_s, r_0018_0005__point, arg0).
arc(r_0018_0002__There_r_0018_0003___apos_s, r_0018_0008__landing, r_0018_0006__even_r_0018_0007__in_clr18).
arc(r_0018_0004__no_quant, r_0018_0002__There_r_0018_0003___apos_s, scope).
arc(r_0018_0004__no_quant, r_0018_0005__point, restriction).


%3 r_0018_0002__There_r_0018_0003___apos_s There 's r_0018_0005__point point r_0018_0002__There_r_0018_0003___apos_s->r_0018_0005__point [arg0] r_0018_0008__landing landing r_0018_0002__There_r_0018_0003___apos_s->r_0018_0008__landing even in [clr] r_0018_0004__no_quant no [quant] r_0018_0004__no_quant->r_0018_0002__There_r_0018_0003___apos_s [scope] r_0018_0004__no_quant->r_0018_0005__point [restriction] 
fof(formula,axiom,
    ! [R_18_5_POINT] :
      ( point(R_18_5_POINT)
     => ? [R_18_2_THERE_APOS_S,R_18_8_LANDING] :
          ( landing(R_18_8_LANDING)
          & there_apos_s(R_18_2_THERE_APOS_S,R_18_5_POINT)
          & even_in_clr18(R_18_2_THERE_APOS_S,R_18_8_LANDING) ) ) ).


n18_a_dick_1952 n18_a_dick_1952_3 <ldquo> n18_a_dick_1952_5 There n18_a_dick_1952_7 's n18_a_dick_1952_10 no n18_a_dick_1952_12 point n18_a_dick_1952_15 even n18_a_dick_1952_17 in n18_a_dick_1952_20 landing n18_a_dick_1952_22 . n18_a_dick_1952_1 IP-MAT n18_a_dick_1952_2 PULQ n18_a_dick_1952_1->n18_a_dick_1952_2 n18_a_dick_1952_4 EX n18_a_dick_1952_1->n18_a_dick_1952_4 n18_a_dick_1952_6 BEP;_ex_Vpr_ n18_a_dick_1952_1->n18_a_dick_1952_6 n18_a_dick_1952_8 NP-ESBJ n18_a_dick_1952_1->n18_a_dick_1952_8 n18_a_dick_1952_13 PP-CLR n18_a_dick_1952_1->n18_a_dick_1952_13 n18_a_dick_1952_21 PUNC n18_a_dick_1952_1->n18_a_dick_1952_21 n18_a_dick_1952_2->n18_a_dick_1952_3 n18_a_dick_1952_4->n18_a_dick_1952_5 n18_a_dick_1952_6->n18_a_dick_1952_7 n18_a_dick_1952_9 Q n18_a_dick_1952_8->n18_a_dick_1952_9 n18_a_dick_1952_11 N n18_a_dick_1952_8->n18_a_dick_1952_11 n18_a_dick_1952_9->n18_a_dick_1952_10 n18_a_dick_1952_11->n18_a_dick_1952_12 n18_a_dick_1952_14 ADV n18_a_dick_1952_13->n18_a_dick_1952_14 n18_a_dick_1952_16 P-ROLE n18_a_dick_1952_13->n18_a_dick_1952_16 n18_a_dick_1952_18 NP n18_a_dick_1952_13->n18_a_dick_1952_18 n18_a_dick_1952_14->n18_a_dick_1952_15 n18_a_dick_1952_16->n18_a_dick_1952_17 n18_a_dick_1952_19 N n18_a_dick_1952_18->n18_a_dick_1952_19 n18_a_dick_1952_19->n18_a_dick_1952_20 n18_a_dick_1952_21->n18_a_dick_1952_22 
( (IP-MAT (PULQ <ldquo>)
          (EX There;{there})
          (BEP;_ex_Vpr_ <apos>s;{be})
          (NP-ESBJ (Q no;{no})
                   (N point;{point}))
          (PP-CLR (ADV even;{even})
                  (P-ROLE in;{in})
                  (NP (N landing;{landing})))
          (PUNC .))
  (ID 18_a_dick_1952))