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

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,clr).
arc(r_0497_0006__home,r_0497_0005__back,qual).
arc(r_0497_0008__can,r_0497_0009__agitate_r_0497_0010__for,scope).
arc(r_0497_0009__agitate_r_0497_0010__for,r_0497_0003__we,arg0).
arc(r_0497_0009__agitate_r_0497_0010__for,r_0497_0011__a_r_0497_0012__mission,arg1).
arc(r_0497_0011__a_r_0497_0012__mission,r_0497_0014__come_r_0497_0015__here,emb).
arc(r_0497_0014__come_r_0497_0015__here,z_0497_5012,arg0).
arc(r_0497_0019__said,r_0497_0018__Tance,arg0).
arc(r_0497_0019__said,z_0497_5002__utterance,arg1).
arc(z_0497_5002__utterance,r_0497_0002__When,part1).

fof(formula,axiom,
    ? [R_0497_0018__TANCE,Z_0497_5002__UTTERANCE,R_0497_0019__SAID] :
      ( r_0497_0018__Tance(R_0497_0018__TANCE)
      & r_0497_0019__said(R_0497_0019__SAID)
      & has_arg1(R_0497_0019__SAID,Z_0497_5002__UTTERANCE)
      & z_0497_5002__utterance(Z_0497_5002__UTTERANCE)
      & ! [R_0497_0004__GET,R_0497_0003__WE,R_0497_0005__BACK,R_0497_0006__HOME] :
          ( ( r_0497_0003__we(R_0497_0003__WE)
            & r_0497_0005__back(R_0497_0005__BACK)
            & r_0497_0004__get(R_0497_0004__GET)
            & has_clr(R_0497_0004__GET,R_0497_0006__HOME)
            & r_0497_0006__home(R_0497_0006__HOME)
            & has_qual(R_0497_0006__HOME,R_0497_0005__BACK)
            & has_arg0(R_0497_0004__GET,R_0497_0003__WE) )
         => ? [Z_0497_5012,R_0497_0014__COME_R_0497_0015__HERE,R_0497_0011__A_R_0497_0012__MISSION,R_0497_0008__CAN_R_0497_0009__AGITATE_R_0497_0010__FOR] :
              ( z_0497_5012(Z_0497_5012)
              & r_0497_0008__can_r_0497_0009__agitate_r_0497_0010__for(R_0497_0008__CAN_R_0497_0009__AGITATE_R_0497_0010__FOR)
              & has_arg1(R_0497_0008__CAN_R_0497_0009__AGITATE_R_0497_0010__FOR,R_0497_0011__A_R_0497_0012__MISSION)
              & r_0497_0011__a_r_0497_0012__mission(R_0497_0011__A_R_0497_0012__MISSION)
              & has_emb(R_0497_0011__A_R_0497_0012__MISSION,R_0497_0014__COME_R_0497_0015__HERE)
              & r_0497_0014__come_r_0497_0015__here(R_0497_0014__COME_R_0497_0015__HERE)
              & has_arg0(R_0497_0014__COME_R_0497_0015__HERE,Z_0497_5012)
              & has_arg0(R_0497_0008__CAN_R_0497_0009__AGITATE_R_0497_0010__FOR,R_0497_0003__WE) ) )
      & has_arg0(R_0497_0019__SAID,R_0497_0018__TANCE) ) ).