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_0004__no_quant no [quant] r_0018_0005__point point r_0018_0004__no_quant->r_0018_0005__point [restriction] r_0018_0002__There_r_0018_0003___apos_s There 's r_0018_0004__no_quant->r_0018_0002__There_r_0018_0003___apos_s [scope] 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] 
fof(formula,axiom,
    ! [R_0018_0005__POINT] :
      ( r_0018_0005__point(R_0018_0005__POINT)
     => ? [R_0018_0008__LANDING,R_0018_0002__THERE_R_0018_0003___APOS_S] :
          ( r_0018_0008__landing(R_0018_0008__LANDING)
          & r_0018_0002__There_r_0018_0003___apos_s(R_0018_0002__THERE_R_0018_0003___APOS_S)
          & has_r_0018_0006__even_r_0018_0007__in_clr18(R_0018_0002__THERE_R_0018_0003___APOS_S,R_0018_0008__LANDING)
          & has_arg0(R_0018_0002__THERE_R_0018_0003___APOS_S,R_0018_0005__POINT) ) ) ).


n18_a_dick_1952 n18_a_dick_1952__1_1_1 <ldquo> n18_a_dick_1952__1_2_1 There n18_a_dick_1952__1_3_1 's n18_a_dick_1952__1_4_1_1 no n18_a_dick_1952__1_4_2_1 point n18_a_dick_1952__1_5_1_1 even n18_a_dick_1952__1_5_2_1 in n18_a_dick_1952__1_5_3_1_1 landing n18_a_dick_1952__1_6_1 . n18_a_dick_1952__1 IP-MAT n18_a_dick_1952__1_1 PULQ n18_a_dick_1952__1->n18_a_dick_1952__1_1 n18_a_dick_1952__1_2 EX n18_a_dick_1952__1->n18_a_dick_1952__1_2 n18_a_dick_1952__1_3 BEP;_ex_Vpr_ n18_a_dick_1952__1->n18_a_dick_1952__1_3 n18_a_dick_1952__1_4 NP-ESBJ n18_a_dick_1952__1->n18_a_dick_1952__1_4 n18_a_dick_1952__1_5 PP-CLR n18_a_dick_1952__1->n18_a_dick_1952__1_5 n18_a_dick_1952__1_6 PUNC n18_a_dick_1952__1->n18_a_dick_1952__1_6 n18_a_dick_1952__1_1->n18_a_dick_1952__1_1_1 n18_a_dick_1952__1_2->n18_a_dick_1952__1_2_1 n18_a_dick_1952__1_3->n18_a_dick_1952__1_3_1 n18_a_dick_1952__1_4_1 Q n18_a_dick_1952__1_4->n18_a_dick_1952__1_4_1 n18_a_dick_1952__1_4_2 N n18_a_dick_1952__1_4->n18_a_dick_1952__1_4_2 n18_a_dick_1952__1_4_1->n18_a_dick_1952__1_4_1_1 n18_a_dick_1952__1_4_2->n18_a_dick_1952__1_4_2_1 n18_a_dick_1952__1_5_1 ADV n18_a_dick_1952__1_5->n18_a_dick_1952__1_5_1 n18_a_dick_1952__1_5_2 P-ROLE n18_a_dick_1952__1_5->n18_a_dick_1952__1_5_2 n18_a_dick_1952__1_5_3 NP n18_a_dick_1952__1_5->n18_a_dick_1952__1_5_3 n18_a_dick_1952__1_5_1->n18_a_dick_1952__1_5_1_1 n18_a_dick_1952__1_5_2->n18_a_dick_1952__1_5_2_1 n18_a_dick_1952__1_5_3_1 N n18_a_dick_1952__1_5_3->n18_a_dick_1952__1_5_3_1 n18_a_dick_1952__1_5_3_1->n18_a_dick_1952__1_5_3_1_1 n18_a_dick_1952__1_6->n18_a_dick_1952__1_6_1 
( (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))