( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why}))
                                             (DOD did;{do})
                                             (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                             (VB;_I_ come;{come})
                                             (NP-NIM (Q;_nphd_ all;{all})
                                                     (NLYR (D this;{this})
                                                           (N way;{way})))
                                             (PUNC ,)
                                             (ADVP-NIM (ADV then;{then})))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Tr_ asked;{ask})
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Ipr_ looking;{look[at]})
                            (ADVP-NIM (ADV around;{around}))
                            (PP-CLR (P-ROLE at;{at})
                                    (NP (D the;{the})
                                        (ADJP (ADJ other;{other}))
                                        (NS men;{man})))))
          (PUNC .))
  (ID 17_a_dick_1952))

arc(r_0017_0003__did_r_0017_0005__come,r_0017_0002__Why,nim).
arc(r_0017_0003__did_r_0017_0005__come,r_0017_0004__we,arg0).
arc(r_0017_0003__did_r_0017_0005__come,r_0017_0010__then,nim).
arc(r_0017_0003__did_r_0017_0005__come,z_0017_5008,nim).
arc(r_0017_0006__all__quant,r_0017_0003__did_r_0017_0005__come,scope).
arc(r_0017_0006__all__quant,z_0017_5008,restriction).
arc(r_0017_0014__asked,r_0017_0013__Dorle,arg0).
arc(r_0017_0014__asked,z_0017_5002__utterance,arg1).
arc(r_0017_0016__looking_r_0017_0018__at,r_0017_0013__Dorle,arg0).
arc(r_0017_0016__looking_r_0017_0018__at,r_0017_0017__around,nim).
arc(r_0017_0016__looking_r_0017_0018__at,r_0017_0019__the_r_0017_0021__men,arg1).
arc(r_0017_0019__the_r_0017_0021__men,r_0017_0020__other,attrib).
arc(z_0017_5002__utterance,r_0017_0006__all__quant,part1).
arc(z_0017_5008,r_0017_0007__this_r_0017_0008__way,nim).
arc(z_0017_5011,r_0017_0014__asked,scope).
arc(z_0017_5011,r_0017_0016__looking_r_0017_0018__at,restriction).

fof(formula,axiom,
    ? [R_0017_0013__DORLE,Z_0017_5002__UTTERANCE,R_0017_0014__ASKED,R_0017_0017__AROUND,R_0017_0020__OTHER,R_0017_0019__THE_R_0017_0021__MEN,R_0017_0016__LOOKING_R_0017_0018__AT,Z_0017_5011] :
      ( r_0017_0013__Dorle(R_0017_0013__DORLE)
      & r_0017_0017__around(R_0017_0017__AROUND)
      & r_0017_0020__other(R_0017_0020__OTHER)
      & z_0017_5011(Z_0017_5011)
      & has_conj1(Z_0017_5011,R_0017_0016__LOOKING_R_0017_0018__AT)
      & r_0017_0016__looking_r_0017_0018__at(R_0017_0016__LOOKING_R_0017_0018__AT)
      & has_arg1(R_0017_0016__LOOKING_R_0017_0018__AT,R_0017_0019__THE_R_0017_0021__MEN)
      & r_0017_0019__the_r_0017_0021__men(R_0017_0019__THE_R_0017_0021__MEN)
      & has_attrib(R_0017_0019__THE_R_0017_0021__MEN,R_0017_0020__OTHER)
      & has_nim(R_0017_0016__LOOKING_R_0017_0018__AT,R_0017_0017__AROUND)
      & has_arg0(R_0017_0016__LOOKING_R_0017_0018__AT,R_0017_0013__DORLE)
      & has_conj2(Z_0017_5011,R_0017_0014__ASKED)
      & r_0017_0014__asked(R_0017_0014__ASKED)
      & has_arg1(R_0017_0014__ASKED,Z_0017_5002__UTTERANCE)
      & z_0017_5002__utterance(Z_0017_5002__UTTERANCE)
      & ! [Z_0017_5008,R_0017_0007__THIS_R_0017_0008__WAY] :
          ( ( r_0017_0007__this_r_0017_0008__way(R_0017_0007__THIS_R_0017_0008__WAY)
            & z_0017_5008(Z_0017_5008)
            & has_nim(Z_0017_5008,R_0017_0007__THIS_R_0017_0008__WAY) )
         => ? [R_0017_0002__WHY,R_0017_0004__WE,R_0017_0010__THEN,R_0017_0003__DID_R_0017_0005__COME] :
              ( r_0017_0002__Why(R_0017_0002__WHY)
              & r_0017_0004__we(R_0017_0004__WE)
              & r_0017_0010__then(R_0017_0010__THEN)
              & r_0017_0003__did_r_0017_0005__come(R_0017_0003__DID_R_0017_0005__COME)
              & has_nim(R_0017_0003__DID_R_0017_0005__COME,Z_0017_5008)
              & has_nim(R_0017_0003__DID_R_0017_0005__COME,R_0017_0010__THEN)
              & has_arg0(R_0017_0003__DID_R_0017_0005__COME,R_0017_0004__WE)
              & has_nim(R_0017_0003__DID_R_0017_0005__COME,R_0017_0002__WHY) ) )
      & has_arg0(R_0017_0014__ASKED,R_0017_0013__DORLE) ) ).