Context                Previous, Next                Top


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

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_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 ADVP-NIM 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_1 ADV n18_a_dick_1952__1_5_1->n18_a_dick_1952__1_5_1_1 n18_a_dick_1952__1_5_1_1->n18_a_dick_1952__1_5_1_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 (ADVP-NIM (ADV even;{even}))
                  (P-ROLE in;{in})
                  (NP (N landing;{landing})))
          (PUNC .))
  (ID 18_a_dick_1952))


%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_0003___apos_s_r_0018_0006__even_r_0018_0007__in 's even in r_0018_0004__no__quant->r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in [scope] r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in->r_0018_0005__point [arg0] r_0018_0008__landing landing r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in->r_0018_0008__landing [arg1] 
arc(r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in,r_0018_0005__point,arg0).
arc(r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in,r_0018_0008__landing,arg1).
arc(r_0018_0004__no__quant,r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in,scope).
arc(r_0018_0004__no__quant,r_0018_0005__point,restriction).


%3 r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in 's even in r_0018_0005__point point r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in->r_0018_0005__point [arg0] r_0018_0008__landing landing r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in->r_0018_0008__landing [arg1] r_0018_0004__no__quant no [quant] r_0018_0004__no__quant->r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in [scope] r_0018_0004__no__quant->r_0018_0005__point [restriction] 
fof(formula,axiom,
    ! [R_0018_0005__POINT] :
      ( r_0018_0005__point(R_0018_0005__POINT)
     => ? [R_0018_0008__LANDING,R_0018_0003___APOS_S_R_0018_0006__EVEN_R_0018_0007__IN] :
          ( r_0018_0008__landing(R_0018_0008__LANDING)
          & r_0018_0003___apos_s_r_0018_0006__even_r_0018_0007__in(R_0018_0003___APOS_S_R_0018_0006__EVEN_R_0018_0007__IN)
          & has_arg1(R_0018_0003___APOS_S_R_0018_0006__EVEN_R_0018_0007__IN,R_0018_0008__LANDING)
          & has_arg0(R_0018_0003___APOS_S_R_0018_0006__EVEN_R_0018_0007__IN,R_0018_0005__POINT) ) ) ).