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_0003__no_quant no [quant] r_0238_0004__armaments armaments r_0238_0003__no_quant->r_0238_0004__armaments [restriction] r_0238_0002__have have r_0238_0003__no_quant->r_0238_0002__have [scope] 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_0001__We We r_0238_0002__have->r_0238_0001__We [arg0] 
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__1_1_1_1 We n238_a_dick_1952__1_2_1 have n238_a_dick_1952__1_3_1_1 no n238_a_dick_1952__1_3_2_1 armaments n238_a_dick_1952__1_4_1_1 at_all n238_a_dick_1952__1_5_1 ; n238_a_dick_1952__1_6_1_1_1_1 you n238_a_dick_1952__1_6_1_2_1 know n238_a_dick_1952__1_6_1_3_1_1 that n238_a_dick_1952__1_7_1 . n238_a_dick_1952__1_8_1 <rdquo> n238_a_dick_1952__1 IP-MAT n238_a_dick_1952__1_1 NP-SBJ n238_a_dick_1952__1->n238_a_dick_1952__1_1 n238_a_dick_1952__1_2 HVP;_Tn_ n238_a_dick_1952__1->n238_a_dick_1952__1_2 n238_a_dick_1952__1_3 NP-OB1 n238_a_dick_1952__1->n238_a_dick_1952__1_3 n238_a_dick_1952__1_4 ADVP-NIM n238_a_dick_1952__1->n238_a_dick_1952__1_4 n238_a_dick_1952__1_5 PUNC n238_a_dick_1952__1->n238_a_dick_1952__1_5 n238_a_dick_1952__1_6 PRN n238_a_dick_1952__1->n238_a_dick_1952__1_6 n238_a_dick_1952__1_7 PUNC n238_a_dick_1952__1->n238_a_dick_1952__1_7 n238_a_dick_1952__1_8 PURQ n238_a_dick_1952__1->n238_a_dick_1952__1_8 n238_a_dick_1952__1_1_1 PRO n238_a_dick_1952__1_1->n238_a_dick_1952__1_1_1 n238_a_dick_1952__1_1_1->n238_a_dick_1952__1_1_1_1 n238_a_dick_1952__1_2->n238_a_dick_1952__1_2_1 n238_a_dick_1952__1_3_1 Q n238_a_dick_1952__1_3->n238_a_dick_1952__1_3_1 n238_a_dick_1952__1_3_2 NS n238_a_dick_1952__1_3->n238_a_dick_1952__1_3_2 n238_a_dick_1952__1_3_1->n238_a_dick_1952__1_3_1_1 n238_a_dick_1952__1_3_2->n238_a_dick_1952__1_3_2_1 n238_a_dick_1952__1_4_1 ADV n238_a_dick_1952__1_4->n238_a_dick_1952__1_4_1 n238_a_dick_1952__1_4_1->n238_a_dick_1952__1_4_1_1 n238_a_dick_1952__1_5->n238_a_dick_1952__1_5_1 n238_a_dick_1952__1_6_1 IP-MAT n238_a_dick_1952__1_6->n238_a_dick_1952__1_6_1 n238_a_dick_1952__1_6_1_1 NP-SBJ n238_a_dick_1952__1_6_1->n238_a_dick_1952__1_6_1_1 n238_a_dick_1952__1_6_1_2 VBP;_Tn_ n238_a_dick_1952__1_6_1->n238_a_dick_1952__1_6_1_2 n238_a_dick_1952__1_6_1_3 NP-OB1 n238_a_dick_1952__1_6_1->n238_a_dick_1952__1_6_1_3 n238_a_dick_1952__1_6_1_1_1 PRO n238_a_dick_1952__1_6_1_1->n238_a_dick_1952__1_6_1_1_1 n238_a_dick_1952__1_6_1_1_1->n238_a_dick_1952__1_6_1_1_1_1 n238_a_dick_1952__1_6_1_2->n238_a_dick_1952__1_6_1_2_1 n238_a_dick_1952__1_6_1_3_1 D;_nphd_ n238_a_dick_1952__1_6_1_3->n238_a_dick_1952__1_6_1_3_1 n238_a_dick_1952__1_6_1_3_1->n238_a_dick_1952__1_6_1_3_1_1 n238_a_dick_1952__1_7->n238_a_dick_1952__1_7_1 n238_a_dick_1952__1_8->n238_a_dick_1952__1_8_1 
( (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))