Context                Previous, Next                Top


511_a_dick_1952
We have no choice.”

%3 r_0511_0002__have have r_0511_0001__We We r_0511_0002__have->r_0511_0001__We [arg0] r_0511_0004__choice choice r_0511_0002__have->r_0511_0004__choice [arg1] r_0511_0003__no_quant no [quant] r_0511_0003__no_quant->r_0511_0002__have [scope] r_0511_0003__no_quant->r_0511_0004__choice [restriction] 
arc(r_0511_0002__have, r_0511_0001__We, arg0).
arc(r_0511_0002__have, r_0511_0004__choice, arg1).
arc(r_0511_0003__no_quant, r_0511_0002__have, scope).
arc(r_0511_0003__no_quant, r_0511_0004__choice, restriction).


%3 r_0511_0003__no_quant no [quant] r_0511_0004__choice choice r_0511_0003__no_quant->r_0511_0004__choice [restriction] r_0511_0002__have have r_0511_0003__no_quant->r_0511_0002__have [scope] r_0511_0002__have->r_0511_0004__choice [arg1] r_0511_0001__We We r_0511_0002__have->r_0511_0001__We [arg0] 
fof(formula,axiom,
    ! [R_511_4_CHOICE] :
      ( choice(R_511_4_CHOICE)
     => ? [R_511_2_HAVE,R_511_1_WE] :
          ( we(R_511_1_WE)
          & have(R_511_2_HAVE,R_511_1_WE,R_511_4_CHOICE) ) ) ).


n511_a_dick_1952 n511_a_dick_1952__1_1_1_1 We n511_a_dick_1952__1_2_1 have n511_a_dick_1952__1_3_1_1 no n511_a_dick_1952__1_3_2_1 choice n511_a_dick_1952__1_4_1 . n511_a_dick_1952__1_5_1 <rdquo> n511_a_dick_1952__1 IP-MAT n511_a_dick_1952__1_1 NP-SBJ n511_a_dick_1952__1->n511_a_dick_1952__1_1 n511_a_dick_1952__1_2 HVP;_Tn_ n511_a_dick_1952__1->n511_a_dick_1952__1_2 n511_a_dick_1952__1_3 NP-OB1 n511_a_dick_1952__1->n511_a_dick_1952__1_3 n511_a_dick_1952__1_4 PUNC n511_a_dick_1952__1->n511_a_dick_1952__1_4 n511_a_dick_1952__1_5 PURQ n511_a_dick_1952__1->n511_a_dick_1952__1_5 n511_a_dick_1952__1_1_1 PRO n511_a_dick_1952__1_1->n511_a_dick_1952__1_1_1 n511_a_dick_1952__1_1_1->n511_a_dick_1952__1_1_1_1 n511_a_dick_1952__1_2->n511_a_dick_1952__1_2_1 n511_a_dick_1952__1_3_1 Q n511_a_dick_1952__1_3->n511_a_dick_1952__1_3_1 n511_a_dick_1952__1_3_2 N n511_a_dick_1952__1_3->n511_a_dick_1952__1_3_2 n511_a_dick_1952__1_3_1->n511_a_dick_1952__1_3_1_1 n511_a_dick_1952__1_3_2->n511_a_dick_1952__1_3_2_1 n511_a_dick_1952__1_4->n511_a_dick_1952__1_4_1 n511_a_dick_1952__1_5->n511_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (Q no;{no})
                  (N choice;{choice}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 511_a_dick_1952))