arc(utterance_497_a_dick_1952_4, r_0497_0002__When, part1).
arc(r_0497_0002__When, r_0497_0004__get, restriction).
arc(r_0497_0002__When, r_0497_0008__can, scope).
arc(r_0497_0004__get, r_0497_0003__we, arg0).
arc(r_0497_0004__get, r_0497_0006__home, clr15).
arc(r_0497_0006__home, r_0497_0005__back, qual16).
arc(r_0497_0008__can, r_0497_0009__agitate, scope).
arc(r_0497_0009__agitate, r_0497_0007__we, arg0).
arc(r_0497_0009__agitate, r_0497_0011__a_r_0497_0012__mission, r_0497_0010__for_clr32).
arc(r_0497_0011__a_r_0497_0012__mission, r_0497_0013__to_r_0497_0014__come, emb37).
arc(r_0497_0013__to_r_0497_0014__come, r_0497_0015__here, clr42).
arc(r_0497_0013__to_r_0497_0014__come, z_000_497_a_dick_1952_37, arg0).
arc(r_0497_0019__said, utterance_497_a_dick_1952_4, arg1).
arc(r_0497_0019__said, r_0497_0018__Tance, arg0).

fof(formula,axiom,
    ? [R_497_19_SAID,R_497_18_TANCE,UTTERANCE_497_A_DICK_1952_4] :
      ( tance(R_497_18_TANCE)
      & said(R_497_19_SAID,R_497_18_TANCE,UTTERANCE_497_A_DICK_1952_4)
      & ! [R_497_4_GET,R_497_3_WE,R_497_6_HOME,R_497_5_BACK] :
          ( ( we(R_497_3_WE)
            & back(R_497_5_BACK)
            & get(R_497_4_GET,R_497_3_WE)
            & clr15(R_497_4_GET,R_497_6_HOME)
            & home(R_497_6_HOME)
            & qual16(R_497_6_HOME,R_497_5_BACK) )
         => ? [R_497_8_CAN_AGITATE,R_497_7_WE,R_497_11_A_MISSION,R_497_13_TO_COME,Z_497_A_DICK_1952_37,R_497_15_HERE] :
              ( we(R_497_7_WE)
              & here(R_497_15_HERE)
              & can_agitate(R_497_8_CAN_AGITATE,R_497_7_WE)
              & for_clr32(R_497_8_CAN_AGITATE,R_497_11_A_MISSION)
              & a_mission(R_497_11_A_MISSION)
              & emb37(R_497_11_A_MISSION,R_497_13_TO_COME)
              & to_come(R_497_13_TO_COME,Z_497_A_DICK_1952_37)
              & clr42(R_497_13_TO_COME,R_497_15_HERE) ) )
      & part1(PART1)
      & utterance_497_a_dick_1952_4(UTTERANCE_497_A_DICK_1952_4) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (PP-SCON (P-CONN When;{when})
                                          (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                                  (VBP;_Ip_ get;{get[home]})
                                                  (ADVP-CLR (ADVP (RP back;{back}))
                                                            (ADV home;{home}))))
                                 (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                 (MD;_cat_Vi_ can;{can})
                                 (IP-INF-CAT (VB;_Ipr_ agitate;{agitate[for]})
                                             (PP-CLR (P-ROLE for;{for})
                                                     (NP (D a;{a})
                                                         (N mission;{mission})
                                                         (IP-INF (TO to;{to})
                                                                 (VB;_Ip_ come;{come[here]})
                                                                 (ADVP-CLR (RP here;{here}))))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 497_a_dick_1952))