( (FRAG (NP (WD What;{what})
            (D a;{a})
            (ADJP (ADJ strange;{strange}))
            (N situation;{situation}))
        (PUNC !))
  (ID 128_a_dick_1952))

arc(r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation,r_0128_0003__strange,attrib).
arc(z_0128_5005,r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation,z_0128_5002).

fof(formula,axiom,
    ? [R_0128_0003__STRANGE,R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION,Z_0128_5005] :
      ( r_0128_0003__strange(R_0128_0003__STRANGE)
      & z_0128_5005(Z_0128_5005)
      & has_z_0128_5002(Z_0128_5005,R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION)
      & r_0128_0001__What_r_0128_0002__a_r_0128_0004__situation(R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION)
      & has_attrib(R_0128_0001__WHAT_R_0128_0002__A_R_0128_0004__SITUATION,R_0128_0003__STRANGE) ) ).