Context                Previous, Next                Top


238_a_dick_1952
We have no armaments at all; you know that.”

%3 r_0238_0002__have have r_0238_0001__We We r_0238_0002__have->r_0238_0001__We [arg0] r_0238_0004__armaments armaments r_0238_0002__have->r_0238_0004__armaments [arg1] r_0238_0005__at_all at all r_0238_0002__have->r_0238_0005__at_all [nim] r_0238_0003__no_quant no [quant] r_0238_0003__no_quant->r_0238_0002__have [scope] r_0238_0003__no_quant->r_0238_0004__armaments [restriction] 
arc(r_0238_0002__have, r_0238_0001__We, arg0).
arc(r_0238_0002__have, r_0238_0004__armaments, arg1).
arc(r_0238_0002__have, r_0238_0005__at_all, nim12).
arc(r_0238_0003__no_quant, r_0238_0002__have, scope).
arc(r_0238_0003__no_quant, r_0238_0004__armaments, restriction).


%3 r_0238_0002__have have r_0238_0001__We We r_0238_0002__have->r_0238_0001__We [arg0] r_0238_0004__armaments armaments r_0238_0002__have->r_0238_0004__armaments [arg1] r_0238_0005__at_all at all r_0238_0002__have->r_0238_0005__at_all [nim] r_0238_0003__no_quant no [quant] r_0238_0003__no_quant->r_0238_0002__have [scope] r_0238_0003__no_quant->r_0238_0004__armaments [restriction] 
fof(formula,axiom,
    ! [R_238_4_ARMAMENTS] :
      ( armaments(R_238_4_ARMAMENTS)
     => ? [R_238_2_HAVE,R_238_1_WE,R_238_5_AT_ALL] :
          ( we(R_238_1_WE)
          & at_all(R_238_5_AT_ALL)
          & have(R_238_2_HAVE,R_238_1_WE,R_238_4_ARMAMENTS)
          & nim12(R_238_2_HAVE,R_238_5_AT_ALL) ) ) ).


n238_a_dick_1952 n238_a_dick_1952_4 We n238_a_dick_1952_6 have n238_a_dick_1952_9 no n238_a_dick_1952_11 armaments n238_a_dick_1952_14 at_all n238_a_dick_1952_16 ; n238_a_dick_1952_21 you n238_a_dick_1952_23 know n238_a_dick_1952_26 that n238_a_dick_1952_28 . n238_a_dick_1952_30 <rdquo> n238_a_dick_1952_1 IP-MAT n238_a_dick_1952_2 NP-SBJ n238_a_dick_1952_1->n238_a_dick_1952_2 n238_a_dick_1952_5 HVP;_Tn_ n238_a_dick_1952_1->n238_a_dick_1952_5 n238_a_dick_1952_7 NP-OB1 n238_a_dick_1952_1->n238_a_dick_1952_7 n238_a_dick_1952_12 ADVP-NIM n238_a_dick_1952_1->n238_a_dick_1952_12 n238_a_dick_1952_15 PUNC n238_a_dick_1952_1->n238_a_dick_1952_15 n238_a_dick_1952_17 PRN n238_a_dick_1952_1->n238_a_dick_1952_17 n238_a_dick_1952_27 PUNC n238_a_dick_1952_1->n238_a_dick_1952_27 n238_a_dick_1952_29 PURQ n238_a_dick_1952_1->n238_a_dick_1952_29 n238_a_dick_1952_3 PRO n238_a_dick_1952_2->n238_a_dick_1952_3 n238_a_dick_1952_3->n238_a_dick_1952_4 n238_a_dick_1952_5->n238_a_dick_1952_6 n238_a_dick_1952_8 Q n238_a_dick_1952_7->n238_a_dick_1952_8 n238_a_dick_1952_10 NS n238_a_dick_1952_7->n238_a_dick_1952_10 n238_a_dick_1952_8->n238_a_dick_1952_9 n238_a_dick_1952_10->n238_a_dick_1952_11 n238_a_dick_1952_13 ADV n238_a_dick_1952_12->n238_a_dick_1952_13 n238_a_dick_1952_13->n238_a_dick_1952_14 n238_a_dick_1952_15->n238_a_dick_1952_16 n238_a_dick_1952_18 IP-MAT n238_a_dick_1952_17->n238_a_dick_1952_18 n238_a_dick_1952_19 NP-SBJ n238_a_dick_1952_18->n238_a_dick_1952_19 n238_a_dick_1952_22 VBP;_Tn_ n238_a_dick_1952_18->n238_a_dick_1952_22 n238_a_dick_1952_24 NP-OB1 n238_a_dick_1952_18->n238_a_dick_1952_24 n238_a_dick_1952_20 PRO n238_a_dick_1952_19->n238_a_dick_1952_20 n238_a_dick_1952_20->n238_a_dick_1952_21 n238_a_dick_1952_22->n238_a_dick_1952_23 n238_a_dick_1952_25 D;_nphd_ n238_a_dick_1952_24->n238_a_dick_1952_25 n238_a_dick_1952_25->n238_a_dick_1952_26 n238_a_dick_1952_27->n238_a_dick_1952_28 n238_a_dick_1952_29->n238_a_dick_1952_30 
( (IP-MAT (NP-SBJ;{TRESPASSERS} (PRO We;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (Q no;{no})
                  (NS armaments;{armament}))
          (ADVP-NIM (ADV at_all;{at_all}))
          (PUNC ;)
          (PRN (IP-MAT (NP-SBJ;{DORLE} (PRO you;{you}))
                       (VBP;_Tn_ know;{know})
                       (NP-OB1 (D;_nphd_ that;{that}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 238_a_dick_1952))