Context                Previous, Next                Top


237_a_dick_1952
“If they really want to get us we haven't a chance.

%3 r_0237_0002__If If r_0237_0005__want want r_0237_0002__If->r_0237_0005__want [restriction] r_0237_0011__n_apos_t n't r_0237_0002__If->r_0237_0011__n_apos_t [scope] r_0237_0003__they they r_0237_0005__want->r_0237_0003__they [arg0] r_0237_0004__really really r_0237_0005__want->r_0237_0004__really [nim] r_0237_0006__to_r_0237_0007__get to get r_0237_0005__want->r_0237_0006__to_r_0237_0007__get [arg1] r_0237_0010__have have r_0237_0011__n_apos_t->r_0237_0010__have [keep_scope] r_0237_0006__to_r_0237_0007__get->r_0237_0003__they [arg0] r_0237_0008__us us r_0237_0006__to_r_0237_0007__get->r_0237_0008__us [arg1] r_0237_0009__we we r_0237_0010__have->r_0237_0009__we [arg0] r_0237_0012__a_r_0237_0013__chance a chance r_0237_0010__have->r_0237_0012__a_r_0237_0013__chance [arg1] 
arc(r_0237_0002__If, r_0237_0005__want, restriction).
arc(r_0237_0002__If, r_0237_0011__n_apos_t, scope).
arc(r_0237_0005__want, r_0237_0003__they, arg0).
arc(r_0237_0005__want, r_0237_0004__really, nim11).
arc(r_0237_0005__want, r_0237_0006__to_r_0237_0007__get, arg1).
arc(r_0237_0006__to_r_0237_0007__get, r_0237_0003__they, arg0).
arc(r_0237_0006__to_r_0237_0007__get, r_0237_0008__us, arg1).
arc(r_0237_0010__have, r_0237_0009__we, arg0).
arc(r_0237_0010__have, r_0237_0012__a_r_0237_0013__chance, arg1).
arc(r_0237_0011__n_apos_t, r_0237_0010__have, keep_scope).


%3 r_0237_0011__n_apos_t n't r_0237_0010__have have r_0237_0011__n_apos_t->r_0237_0010__have [keep_scope] r_0237_0012__a_r_0237_0013__chance a chance r_0237_0010__have->r_0237_0012__a_r_0237_0013__chance [arg1] r_0237_0009__we we r_0237_0010__have->r_0237_0009__we [arg0] r_0237_0006__to_r_0237_0007__get to get r_0237_0008__us us r_0237_0006__to_r_0237_0007__get->r_0237_0008__us [arg1] r_0237_0003__they they r_0237_0006__to_r_0237_0007__get->r_0237_0003__they [arg0] r_0237_0005__want want r_0237_0005__want->r_0237_0006__to_r_0237_0007__get [arg1] r_0237_0005__want->r_0237_0003__they [arg0] r_0237_0004__really really r_0237_0005__want->r_0237_0004__really [nim] r_0237_0002__If If r_0237_0002__If->r_0237_0011__n_apos_t [scope] r_0237_0002__If->r_0237_0005__want [restriction] 
fof(formula,axiom,
    ! [R_0237_0005__WANT,R_0237_0003__THEY,R_0237_0004__REALLY,R_0237_0008__US,R_0237_0006__TO_R_0237_0007__GET] :
      ( ( r_0237_0003__they(R_0237_0003__THEY)
        & r_0237_0004__really(R_0237_0004__REALLY)
        & r_0237_0008__us(R_0237_0008__US)
        & r_0237_0005__want(R_0237_0005__WANT)
        & has_arg1(R_0237_0005__WANT,R_0237_0006__TO_R_0237_0007__GET)
        & r_0237_0006__to_r_0237_0007__get(R_0237_0006__TO_R_0237_0007__GET)
        & has_arg1(R_0237_0006__TO_R_0237_0007__GET,R_0237_0008__US)
        & has_arg0(R_0237_0006__TO_R_0237_0007__GET,R_0237_0003__THEY)
        & has_nim11(R_0237_0005__WANT,R_0237_0004__REALLY)
        & has_arg0(R_0237_0005__WANT,R_0237_0003__THEY) )
     => ~ ? [R_0237_0009__WE,R_0237_0012__A_R_0237_0013__CHANCE,R_0237_0010__HAVE] :
            ( r_0237_0009__we(R_0237_0009__WE)
            & r_0237_0012__a_r_0237_0013__chance(R_0237_0012__A_R_0237_0013__CHANCE)
            & r_0237_0010__have(R_0237_0010__HAVE)
            & has_arg1(R_0237_0010__HAVE,R_0237_0012__A_R_0237_0013__CHANCE)
            & has_arg0(R_0237_0010__HAVE,R_0237_0009__WE) ) ) ).


n237_a_dick_1952 n237_a_dick_1952__1_1_1 <ldquo> n237_a_dick_1952__1_2_1_1 If n237_a_dick_1952__1_2_2_1_1_1 they n237_a_dick_1952__1_2_2_2_1_1 really n237_a_dick_1952__1_2_2_3_1 want n237_a_dick_1952__1_2_2_4_1_1 to n237_a_dick_1952__1_2_2_4_2_1 get n237_a_dick_1952__1_2_2_4_3_1_1 us n237_a_dick_1952__1_3_1_1 we n237_a_dick_1952__1_4_1 have n237_a_dick_1952__1_5_1 n't n237_a_dick_1952__1_6_1_1 a n237_a_dick_1952__1_6_2_1 chance n237_a_dick_1952__1_7_1 . n237_a_dick_1952__1 IP-MAT n237_a_dick_1952__1_1 PULQ n237_a_dick_1952__1->n237_a_dick_1952__1_1 n237_a_dick_1952__1_2 PP-SCON n237_a_dick_1952__1->n237_a_dick_1952__1_2 n237_a_dick_1952__1_3 NP-SBJ n237_a_dick_1952__1->n237_a_dick_1952__1_3 n237_a_dick_1952__1_4 HVP;_Tn_ n237_a_dick_1952__1->n237_a_dick_1952__1_4 n237_a_dick_1952__1_5 NEG;_clitic_ n237_a_dick_1952__1->n237_a_dick_1952__1_5 n237_a_dick_1952__1_6 NP-OB1 n237_a_dick_1952__1->n237_a_dick_1952__1_6 n237_a_dick_1952__1_7 PUNC n237_a_dick_1952__1->n237_a_dick_1952__1_7 n237_a_dick_1952__1_1->n237_a_dick_1952__1_1_1 n237_a_dick_1952__1_2_1 P-CONN n237_a_dick_1952__1_2->n237_a_dick_1952__1_2_1 n237_a_dick_1952__1_2_2 IP-ADV n237_a_dick_1952__1_2->n237_a_dick_1952__1_2_2 n237_a_dick_1952__1_2_1->n237_a_dick_1952__1_2_1_1 n237_a_dick_1952__1_2_2_1 NP-SBJ n237_a_dick_1952__1_2_2->n237_a_dick_1952__1_2_2_1 n237_a_dick_1952__1_2_2_2 ADVP-NIM n237_a_dick_1952__1_2_2->n237_a_dick_1952__1_2_2_2 n237_a_dick_1952__1_2_2_3 VBP;_Tt_ n237_a_dick_1952__1_2_2->n237_a_dick_1952__1_2_2_3 n237_a_dick_1952__1_2_2_4 IP-INF-OB1 n237_a_dick_1952__1_2_2->n237_a_dick_1952__1_2_2_4 n237_a_dick_1952__1_2_2_1_1 PRO n237_a_dick_1952__1_2_2_1->n237_a_dick_1952__1_2_2_1_1 n237_a_dick_1952__1_2_2_1_1->n237_a_dick_1952__1_2_2_1_1_1 n237_a_dick_1952__1_2_2_2_1 ADV n237_a_dick_1952__1_2_2_2->n237_a_dick_1952__1_2_2_2_1 n237_a_dick_1952__1_2_2_2_1->n237_a_dick_1952__1_2_2_2_1_1 n237_a_dick_1952__1_2_2_3->n237_a_dick_1952__1_2_2_3_1 n237_a_dick_1952__1_2_2_4_1 TO n237_a_dick_1952__1_2_2_4->n237_a_dick_1952__1_2_2_4_1 n237_a_dick_1952__1_2_2_4_2 VB;_Tn_ n237_a_dick_1952__1_2_2_4->n237_a_dick_1952__1_2_2_4_2 n237_a_dick_1952__1_2_2_4_3 NP-OB1 n237_a_dick_1952__1_2_2_4->n237_a_dick_1952__1_2_2_4_3 n237_a_dick_1952__1_2_2_4_1->n237_a_dick_1952__1_2_2_4_1_1 n237_a_dick_1952__1_2_2_4_2->n237_a_dick_1952__1_2_2_4_2_1 n237_a_dick_1952__1_2_2_4_3_1 PRO n237_a_dick_1952__1_2_2_4_3->n237_a_dick_1952__1_2_2_4_3_1 n237_a_dick_1952__1_2_2_4_3_1->n237_a_dick_1952__1_2_2_4_3_1_1 n237_a_dick_1952__1_3_1 PRO n237_a_dick_1952__1_3->n237_a_dick_1952__1_3_1 n237_a_dick_1952__1_3_1->n237_a_dick_1952__1_3_1_1 n237_a_dick_1952__1_4->n237_a_dick_1952__1_4_1 n237_a_dick_1952__1_5->n237_a_dick_1952__1_5_1 n237_a_dick_1952__1_6_1 D n237_a_dick_1952__1_6->n237_a_dick_1952__1_6_1 n237_a_dick_1952__1_6_2 N n237_a_dick_1952__1_6->n237_a_dick_1952__1_6_2 n237_a_dick_1952__1_6_1->n237_a_dick_1952__1_6_1_1 n237_a_dick_1952__1_6_2->n237_a_dick_1952__1_6_2_1 n237_a_dick_1952__1_7->n237_a_dick_1952__1_7_1 
( (IP-MAT (PULQ <ldquo>)
          (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                           (ADVP-NIM (ADV really;{really}))
                           (VBP;_Tt_ want;{want})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Tn_ get;{get})
                                       (NP-OB1;{TRESPASSERS} (PRO us;{we})))))
          (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
          (HVP;_Tn_ have;{have})
          (NEG;_clitic_ n<apos>t;{not})
          (NP-OB1 (D a;{a})
                  (N chance;{chance}))
          (PUNC .))
  (ID 237_a_dick_1952))