( (IP-MAT (ADVP-NIM (ADV Maybe;{maybe}))
          (NP-SBJ (D;_nphd_ some;{some})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ great;{great}))
                          (N blast;{blast}))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ deflected;{deflect})
                      (ADVP-NIM (ADV here;{here})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 199_a_dick_1952))

arc(r_0199_0002__some,r_0199_0004__the_r_0199_0006__blast,r_0199_0003__of).
arc(r_0199_0004__the_r_0199_0006__blast,r_0199_0005__great,attrib).
arc(r_0199_0007__was,r_0199_0001__Maybe,nim).
arc(r_0199_0007__was,r_0199_0008__deflected,scope).
arc(r_0199_0008__deflected,r_0199_0002__some,arg1).
arc(r_0199_0008__deflected,r_0199_0009__here,nim).
arc(r_0199_0008__deflected,z_0199_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0199_0001__MAYBE,R_0199_0005__GREAT,R_0199_0004__THE_R_0199_0006__BLAST,R_0199_0002__SOME,R_0199_0009__HERE,Z_0199_5006___STAR_,R_0199_0007__WAS_R_0199_0008__DEFLECTED] :
      ( r_0199_0001__Maybe(R_0199_0001__MAYBE)
      & r_0199_0005__great(R_0199_0005__GREAT)
      & r_0199_0009__here(R_0199_0009__HERE)
      & z_0199_5006___star_(Z_0199_5006___STAR_)
      & r_0199_0007__was_r_0199_0008__deflected(R_0199_0007__WAS_R_0199_0008__DEFLECTED)
      & has_arg0(R_0199_0007__WAS_R_0199_0008__DEFLECTED,Z_0199_5006___STAR_)
      & has_nim(R_0199_0007__WAS_R_0199_0008__DEFLECTED,R_0199_0009__HERE)
      & has_arg1(R_0199_0007__WAS_R_0199_0008__DEFLECTED,R_0199_0002__SOME)
      & r_0199_0002__some(R_0199_0002__SOME)
      & has_r_0199_0003__of(R_0199_0002__SOME,R_0199_0004__THE_R_0199_0006__BLAST)
      & r_0199_0004__the_r_0199_0006__blast(R_0199_0004__THE_R_0199_0006__BLAST)
      & has_attrib(R_0199_0004__THE_R_0199_0006__BLAST,R_0199_0005__GREAT)
      & has_nim(R_0199_0007__WAS_R_0199_0008__DEFLECTED,R_0199_0001__MAYBE) ) ).