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

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,qual).
arc(z_0524_5001,r_0524_0002__was,scope).
arc(z_0524_5001,z_0524_5007,restriction).
arc(z_0524_5007,r_0524_0008__mind,arg0).
arc(z_0524_5007,r_0524_0010__away,clr).

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_0524_5007,Z_0524_5001] :
      ( 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_0524_5001(Z_0524_5001)
      & has_conj1(Z_0524_5001,Z_0524_5007)
      & z_0524_5007(Z_0524_5007)
      & has_clr(Z_0524_5007,R_0524_0010__AWAY)
      & r_0524_0010__away(R_0524_0010__AWAY)
      & has_qual(R_0524_0010__AWAY,R_0524_0009__FAR)
      & has_arg0(Z_0524_5007,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_0524_5001,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) ) ).