( (IP-IMP (ILYR (ILYR (VB;_phr_Vp_ Come;{come[up]})
                      (RP up;{up}))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{TANCE} (PRO I;{I}))
                             (MD;_cat_Vi_ <apos>ll;{will})
                             (IP-INF-CAT (VB;_Tn_ show;{show})
                                         (NP-OB1;{DORLE+NASHA} (PRO you;{you}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 399_a_dick_1952))

arc(r_0399_0003__and,r_0399_0001__Come_r_0399_0002__up,conj1).
arc(r_0399_0003__and,r_0399_0005___apos_ll,conj2).
arc(r_0399_0005___apos_ll,r_0399_0006__show,scope).
arc(r_0399_0006__show,r_0399_0004__I,arg0).
arc(r_0399_0006__show,r_0399_0007__you,arg1).

fof(formula,axiom,
    ? [R_0399_0001__COME_R_0399_0002__UP,R_0399_0004__I,R_0399_0007__YOU,R_0399_0005___APOS_LL_R_0399_0006__SHOW,R_0399_0003__AND] :
      ( r_0399_0001__Come_r_0399_0002__up(R_0399_0001__COME_R_0399_0002__UP)
      & r_0399_0004__I(R_0399_0004__I)
      & r_0399_0007__you(R_0399_0007__YOU)
      & r_0399_0003__and(R_0399_0003__AND)
      & has_conj2(R_0399_0003__AND,R_0399_0005___APOS_LL_R_0399_0006__SHOW)
      & r_0399_0005___apos_ll_r_0399_0006__show(R_0399_0005___APOS_LL_R_0399_0006__SHOW)
      & has_arg1(R_0399_0005___APOS_LL_R_0399_0006__SHOW,R_0399_0007__YOU)
      & has_arg0(R_0399_0005___APOS_LL_R_0399_0006__SHOW,R_0399_0004__I)
      & has_conj1(R_0399_0003__AND,R_0399_0001__COME_R_0399_0002__UP) ) ).