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).

fof(formula,axiom,
    ! [R_237_5_WANT,R_237_6_TO_GET,R_237_3_THEY,R_237_8_US,R_237_4_REALLY] :
      ( ( they(R_237_3_THEY)
        & us(R_237_8_US)
        & really(R_237_4_REALLY)
        & want(R_237_5_WANT,R_237_3_THEY,R_237_6_TO_GET)
        & to_get(R_237_6_TO_GET,R_237_3_THEY,R_237_8_US)
        & nim11(R_237_5_WANT,R_237_4_REALLY) )
     => ~ ? [R_237_10_HAVE,R_237_9_WE,R_237_12_A_CHANCE] :
            ( we(R_237_9_WE)
            & a_chance(R_237_12_A_CHANCE)
            & have(R_237_10_HAVE,R_237_9_WE,R_237_12_A_CHANCE) ) ) ).

( (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))