arc(r_0524_0002__was, r_0524_0001__Nasha, arg0).
arc(r_0524_0002__was, r_0524_0003__deep, prd).
arc(r_0524_0003__deep, r_0524_0005__thought, r_0524_0004__in).
arc(r_0524_0008__mind, r_0524_0001__Nasha, gen).
arc(r_0524_0010__away, r_0524_0009__far, qual27).
arc(z_000_524_a_dick_1952_18, r_0524_0002__was, scope).
arc(z_000_524_a_dick_1952_18, z_000_524_a_dick_1952_19, restriction).
arc(z_000_524_a_dick_1952_19, r_0524_0008__mind, arg0).
arc(z_000_524_a_dick_1952_19, r_0524_0010__away, clr26).

fof(formula,axiom,
    ? [R_0524_0001__NASHA,R_0524_0005__THOUGHT,R_0524_0003__DEEP,R_0524_0002__WAS,R_0524_0008__MIND,R_0524_0009__FAR,R_0524_0010__AWAY,Z_000_524_A_DICK_1952_19,Z_000_524_A_DICK_1952_18] :
      ( r_0524_0001__Nasha(R_0524_0001__NASHA)
      & r_0524_0005__thought(R_0524_0005__THOUGHT)
      & r_0524_0009__far(R_0524_0009__FAR)
      & z_000_524_a_dick_1952_18(Z_000_524_A_DICK_1952_18)
      & has_conj1(Z_000_524_A_DICK_1952_18,Z_000_524_A_DICK_1952_19)
      & z_000_524_a_dick_1952_19(Z_000_524_A_DICK_1952_19)
      & has_clr26(Z_000_524_A_DICK_1952_19,R_0524_0010__AWAY)
      & r_0524_0010__away(R_0524_0010__AWAY)
      & has_qual27(R_0524_0010__AWAY,R_0524_0009__FAR)
      & has_arg0(Z_000_524_A_DICK_1952_19,R_0524_0008__MIND)
      & r_0524_0008__mind(R_0524_0008__MIND)
      & has_gen(R_0524_0008__MIND,R_0524_0001__NASHA)
      & has_conj2(Z_000_524_A_DICK_1952_18,R_0524_0002__WAS)
      & r_0524_0002__was(R_0524_0002__WAS)
      & has_prd(R_0524_0002__WAS,R_0524_0003__DEEP)
      & r_0524_0003__deep(R_0524_0003__DEEP)
      & has_r_0524_0004__in(R_0524_0003__DEEP,R_0524_0005__THOUGHT)
      & has_arg0(R_0524_0002__WAS,R_0524_0001__NASHA) ) ).

( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADJ deep;{deep})
                    (PP (P-ROLE in;{in})
                        (NP (N thought;{thought}))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (NP-GEN;{NASHA} (PRO;_genm_ her;{her}))
                                    (N mind;{mind}))
                            (ADVP-CLR (ADVP (ADV far;{far}))
                                      (ADV away;{away}))))
          (PUNC .))
  (ID 524_a_dick_1952))