( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (VBD;_Ip_ bent;{bend[down]})
          (ADVP-CLR (RP down;{down}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_I_ look;{look})))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_I_ squinting;{squint})))
          (PUNC .))
  (ID 14_a_dick_1952))

arc(r_0014_0002__bent_r_0014_0003__down,r_0014_0001__He,arg0).
arc(r_0014_0005__look,r_0014_0001__He,arg0).
arc(r_0014_0007__squinting,r_0014_0001__He,arg0).
arc(z_0014_5001,r_0014_0007__squinting,restriction).
arc(z_0014_5001,z_0014_5004,scope).
arc(z_0014_5004,r_0014_0002__bent_r_0014_0003__down,scope).
arc(z_0014_5004,r_0014_0005__look,restriction).

fof(formula,axiom,
    ? [R_0014_0001__HE,R_0014_0007__SQUINTING,R_0014_0002__BENT_R_0014_0003__DOWN,R_0014_0005__LOOK,Z_0014_5004,Z_0014_5001] :
      ( r_0014_0001__He(R_0014_0001__HE)
      & z_0014_5001(Z_0014_5001)
      & has_conj2(Z_0014_5001,Z_0014_5004)
      & z_0014_5004(Z_0014_5004)
      & has_conj1(Z_0014_5004,R_0014_0005__LOOK)
      & r_0014_0005__look(R_0014_0005__LOOK)
      & has_arg0(R_0014_0005__LOOK,R_0014_0001__HE)
      & has_conj2(Z_0014_5004,R_0014_0002__BENT_R_0014_0003__DOWN)
      & r_0014_0002__bent_r_0014_0003__down(R_0014_0002__BENT_R_0014_0003__DOWN)
      & has_arg0(R_0014_0002__BENT_R_0014_0003__DOWN,R_0014_0001__HE)
      & has_conj1(Z_0014_5001,R_0014_0007__SQUINTING)
      & r_0014_0007__squinting(R_0014_0007__SQUINTING)
      & has_arg0(R_0014_0007__SQUINTING,R_0014_0001__HE) ) ).