( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-IMP (VB;_Cn.i_ Let;{let})
                                 (NP-OB1;{TANCE} (PRO me;{I}))
                                 (IP-INF-PRD (VB;_I_ look;{look}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (NPR Tance;{Tance})
                          (PRN (NP (D the;{the})
                                   (N archeologist;{archeologist}))))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 13_a_dick_1952))

arc(r_0013_0002__Let,r_0013_0003__me,arg1).
arc(r_0013_0002__Let,r_0013_0004__look,prd).
arc(r_0013_0002__Let,z_0013_5004,arg0).
arc(r_0013_0004__look,z_0013_5007,arg0).
arc(r_0013_0010__said,r_0013_0007__Tance,arg0).
arc(r_0013_0010__said,z_0013_5002__utterance,arg1).
arc(z_0013_5002__utterance,r_0013_0002__Let,part1).
arc(z_0013_5012,r_0013_0007__Tance,arg0).
arc(z_0013_5012,r_0013_0008__the_r_0013_0009__archeologist,prd).

fof(formula,axiom,
    ? [R_0013_0007__TANCE,R_0013_0003__ME,Z_0013_5007,R_0013_0004__LOOK,Z_0013_5004,R_0013_0002__LET,Z_0013_5002__UTTERANCE,R_0013_0010__SAID,R_0013_0008__THE_R_0013_0009__ARCHEOLOGIST,Z_0013_5012] :
      ( r_0013_0003__me(R_0013_0003__ME)
      & r_0013_0007__Tance(R_0013_0007__TANCE)
      & r_0013_0008__the_r_0013_0009__archeologist(R_0013_0008__THE_R_0013_0009__ARCHEOLOGIST)
      & z_0013_5004(Z_0013_5004)
      & z_0013_5007(Z_0013_5007)
      & z_0013_5012(Z_0013_5012)
      & has_prd(Z_0013_5012,R_0013_0008__THE_R_0013_0009__ARCHEOLOGIST)
      & has_arg0(Z_0013_5012,R_0013_0007__TANCE)
      & r_0013_0010__said(R_0013_0010__SAID)
      & has_arg1(R_0013_0010__SAID,Z_0013_5002__UTTERANCE)
      & z_0013_5002__utterance(Z_0013_5002__UTTERANCE)
      & has_part1(Z_0013_5002__UTTERANCE,R_0013_0002__LET)
      & r_0013_0002__Let(R_0013_0002__LET)
      & has_arg0(R_0013_0002__LET,Z_0013_5004)
      & has_prd(R_0013_0002__LET,R_0013_0004__LOOK)
      & r_0013_0004__look(R_0013_0004__LOOK)
      & has_arg0(R_0013_0004__LOOK,Z_0013_5007)
      & has_arg1(R_0013_0002__LET,R_0013_0003__ME)
      & has_arg0(R_0013_0010__SAID,R_0013_0007__TANCE) ) ).