arc(utterance_17_a_dick_1952_4, r_0017_0006__all_quant, part1).
arc(r_0017_0003__did_r_0017_0005__come, r_0017_0002__Why, nim7).
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_0007__this_r_0017_0008__way, nim17).
arc(r_0017_0003__did_r_0017_0005__come, r_0017_0010__then, nim26).
arc(r_0017_0006__all_quant, r_0017_0003__did_r_0017_0005__come, scope).
arc(r_0017_0006__all_quant, r_0017_0007__this_r_0017_0008__way, restriction).
arc(r_0017_0014__asked, utterance_17_a_dick_1952_4, arg1).
arc(r_0017_0014__asked, r_0017_0013__Dorle, arg0).
arc(r_0017_0016__looking, r_0017_0013__Dorle, arg0).
arc(r_0017_0016__looking, r_0017_0017__around, nim44).
arc(r_0017_0016__looking, r_0017_0019__the_r_0017_0021__men, r_0017_0018__at_clr50).
arc(r_0017_0019__the_r_0017_0021__men, r_0017_0020__other, attrib53).
arc(z_000_17_a_dick_1952_40, r_0017_0014__asked, scope).
arc(z_000_17_a_dick_1952_40, r_0017_0016__looking, restriction).

fof(formula,axiom,
    ? [Z_17_A_DICK_1952_40,R_17_16_LOOKING,R_17_17_AROUND,R_17_19_THE_MEN,R_17_20_OTHER,R_17_14_ASKED,R_17_13_DORLE,UTTERANCE_17_A_DICK_1952_4] :
      ( around(R_17_17_AROUND)
      & other(R_17_20_OTHER)
      & dorle(R_17_13_DORLE)
      & z_17_a_dick_1952_40(Z_17_A_DICK_1952_40)
      & conj1(Z_17_A_DICK_1952_40,R_17_16_LOOKING)
      & looking(R_17_16_LOOKING,R_17_13_DORLE)
      & nim44(R_17_16_LOOKING,R_17_17_AROUND)
      & at_clr50(R_17_16_LOOKING,R_17_19_THE_MEN)
      & the_men(R_17_19_THE_MEN)
      & attrib53(R_17_19_THE_MEN,R_17_20_OTHER)
      & conj2(Z_17_A_DICK_1952_40,R_17_14_ASKED)
      & asked(R_17_14_ASKED,R_17_13_DORLE,UTTERANCE_17_A_DICK_1952_4)
      & ! [R_17_7_THIS_WAY] :
          ( this_way(R_17_7_THIS_WAY)
         => ? [R_17_3_DID_COME,R_17_4_WE,R_17_10_THEN,R_17_2_WHY] :
              ( we(R_17_4_WE)
              & then(R_17_10_THEN)
              & why(R_17_2_WHY)
              & did_come(R_17_3_DID_COME,R_17_4_WE)
              & nim17(R_17_3_DID_COME,R_17_7_THIS_WAY)
              & nim26(R_17_3_DID_COME,R_17_10_THEN)
              & nim7(R_17_3_DID_COME,R_17_2_WHY) ) )
      & part1(PART1)
      & utterance_17_a_dick_1952_4(UTTERANCE_17_A_DICK_1952_4) ) ).

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