( (IP-MAT (PULQ <ldquo>)
          (REACT No_<dot>)
          (NP-SBJ;{NASHA} (PRO I;{I}))
          (VBP;_Tt_ prefer;{prefer})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tni_ see;{see})
                      (NP-DOB1 (D;_nphd_ someone;{someone})
                               (ADVP (ADV else;{else}))
                               (PRN *ICH*-187))
                      (IP-INF-OB1 (VB;_I_ lead;{lead}))
                      (PUNC ,)
                      (PRN-EPD-187 (NP (ADVP-NIM (ADV perhaps;{perhaps}))
                                       (NLYR (NLYR;{DORLE} (PRO you;{you}))
                                             (CONJP (CONJ or;{or})
                                                    (NLYR;{FOMAR} (NPR Fomar;{Fomar})))))))
          (PUNC .))
  (ID 183_a_dick_1952))

arc(r_0183_0004__prefer,r_0183_0003__I,arg0).
arc(r_0183_0004__prefer,r_0183_0006__see,arg1).
arc(r_0183_0006__see,r_0183_0003__I,arg0).
arc(r_0183_0006__see,r_0183_0009__lead,arg1).
arc(r_0183_0007__someone,r_0183_0008__else,qual).
arc(r_0183_0009__lead,r_0183_0007__someone,arg0).
arc(r_0183_0013__or,r_0183_0011__perhaps,nim).
arc(r_0183_0013__or,r_0183_0012__you,conj1).
arc(r_0183_0013__or,r_0183_0014__Fomar,conj2).
arc(z_0183_5005,r_0183_0007__someone,arg0).
arc(z_0183_5005,r_0183_0013__or,prd).

fof(formula,axiom,
    ? [R_0183_0003__I,R_0183_0008__ELSE,R_0183_0007__SOMEONE,R_0183_0009__LEAD,R_0183_0006__SEE,R_0183_0004__PREFER,R_0183_0011__PERHAPS,R_0183_0012__YOU,R_0183_0014__FOMAR,R_0183_0013__OR,Z_0183_5005] :
      ( r_0183_0003__I(R_0183_0003__I)
      & r_0183_0008__else(R_0183_0008__ELSE)
      & r_0183_0011__perhaps(R_0183_0011__PERHAPS)
      & r_0183_0012__you(R_0183_0012__YOU)
      & r_0183_0014__Fomar(R_0183_0014__FOMAR)
      & z_0183_5005(Z_0183_5005)
      & has_prd(Z_0183_5005,R_0183_0013__OR)
      & r_0183_0013__or(R_0183_0013__OR)
      & has_conj2(R_0183_0013__OR,R_0183_0014__FOMAR)
      & has_conj1(R_0183_0013__OR,R_0183_0012__YOU)
      & has_nim(R_0183_0013__OR,R_0183_0011__PERHAPS)
      & has_arg0(Z_0183_5005,R_0183_0007__SOMEONE)
      & r_0183_0007__someone(R_0183_0007__SOMEONE)
      & has_qual(R_0183_0007__SOMEONE,R_0183_0008__ELSE)
      & r_0183_0004__prefer(R_0183_0004__PREFER)
      & has_arg1(R_0183_0004__PREFER,R_0183_0006__SEE)
      & r_0183_0006__see(R_0183_0006__SEE)
      & has_arg1(R_0183_0006__SEE,R_0183_0009__LEAD)
      & r_0183_0009__lead(R_0183_0009__LEAD)
      & has_arg0(R_0183_0009__LEAD,R_0183_0007__SOMEONE)
      & has_arg0(R_0183_0006__SEE,R_0183_0003__I)
      & has_arg0(R_0183_0004__PREFER,R_0183_0003__I) ) ).