arc(r_0014_0002__bent, r_0014_0001__He, arg0).
arc(r_0014_0002__bent, r_0014_0003__down, clr7).
arc(r_0014_0004__to_r_0014_0005__look, r_0014_0001__He, arg0).
arc(r_0014_0007__squinting, r_0014_0001__He, arg0).
arc(z_000_14_a_dick_1952_10, r_0014_0002__bent, scope).
arc(z_000_14_a_dick_1952_10, r_0014_0004__to_r_0014_0005__look, restriction).
arc(z_000_14_a_dick_1952_18, r_0014_0007__squinting, restriction).
arc(z_000_14_a_dick_1952_18, z_000_14_a_dick_1952_10, scope).

fof(formula,axiom,
    ? [R_0014_0001__HE,R_0014_0007__SQUINTING,R_0014_0003__DOWN,R_0014_0002__BENT,R_0014_0004__TO_R_0014_0005__LOOK,Z_000_14_A_DICK_1952_10,Z_000_14_A_DICK_1952_18] :
      ( r_0014_0001__He(R_0014_0001__HE)
      & r_0014_0003__down(R_0014_0003__DOWN)
      & z_000_14_a_dick_1952_18(Z_000_14_A_DICK_1952_18)
      & has_conj2(Z_000_14_A_DICK_1952_18,Z_000_14_A_DICK_1952_10)
      & z_000_14_a_dick_1952_10(Z_000_14_A_DICK_1952_10)
      & has_conj1(Z_000_14_A_DICK_1952_10,R_0014_0004__TO_R_0014_0005__LOOK)
      & r_0014_0004__to_r_0014_0005__look(R_0014_0004__TO_R_0014_0005__LOOK)
      & has_arg0(R_0014_0004__TO_R_0014_0005__LOOK,R_0014_0001__HE)
      & has_conj2(Z_000_14_A_DICK_1952_10,R_0014_0002__BENT)
      & r_0014_0002__bent(R_0014_0002__BENT)
      & has_clr7(R_0014_0002__BENT,R_0014_0003__DOWN)
      & has_arg0(R_0014_0002__BENT,R_0014_0001__HE)
      & has_conj1(Z_000_14_A_DICK_1952_18,R_0014_0007__SQUINTING)
      & r_0014_0007__squinting(R_0014_0007__SQUINTING)
      & has_arg0(R_0014_0007__SQUINTING,R_0014_0001__HE) ) ).

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