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

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,nim).
arc(r_0237_0005__want,r_0237_0007__get,arg1).
arc(r_0237_0007__get,r_0237_0003__they,arg0).
arc(r_0237_0007__get,r_0237_0008__us,arg1).
arc(r_0237_0010__have,r_0237_0008__us,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_0237_0005__WANT,R_0237_0003__THEY,R_0237_0004__REALLY,R_0237_0008__US,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_0007__GET)
        & r_0237_0007__get(R_0237_0007__GET)
        & has_arg1(R_0237_0007__GET,R_0237_0008__US)
        & has_arg0(R_0237_0007__GET,R_0237_0003__THEY)
        & has_nim(R_0237_0005__WANT,R_0237_0004__REALLY)
        & has_arg0(R_0237_0005__WANT,R_0237_0003__THEY) )
     => ~ ? [R_0237_0012__A_R_0237_0013__CHANCE,R_0237_0010__HAVE] :
            ( 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_0008__US) ) ) ).