( (IP-MAT (NP-SBJ;{NASHA} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (PUNC ,)
          (NP-NIM (Q;_nphd_ all;{all})
                  (PP (P-ROLE in;{in})
                      (NP (Q;_nphd_ all;{all}))))
          (PUNC ,)
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{NASHA} (PRO I;{I}))
                              (ADVP-NIM (ADV really;{really}))
                              (VBP;_Tn_ prefer;{prefer})
                              (NP-OB1;{DORLE} (PRO you;{you}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 610_a_dick_1952))

arc(r_0610_0002__think,r_0610_0001__I,arg0).
arc(r_0610_0002__think,r_0610_0010__prefer,arg1).
arc(r_0610_0002__think,z_0610_5010,nim).
arc(r_0610_0004__all__quant,r_0610_0002__think,scope).
arc(r_0610_0004__all__quant,r_0610_0006__all__quant,restriction).
arc(r_0610_0006__all__quant,z_0610_5009,restriction).
arc(r_0610_0006__all__quant,z_0610_5010,scope).
arc(r_0610_0010__prefer,r_0610_0001__I,arg0).
arc(r_0610_0010__prefer,r_0610_0009__really,nim).
arc(r_0610_0010__prefer,r_0610_0011__you,arg1).
arc(z_0610_5010,z_0610_5009,r_0610_0005__in).

fof(formula,axiom,
    ! [R_0610_0006__ALL__QUANT] :
      ( ! [Z_0610_5009] :
          ( z_0610_5009(Z_0610_5009)
         => ? [R_0610_0001__I,R_0610_0009__REALLY,R_0610_0011__YOU,R_0610_0010__PREFER,Z_0610_5010,R_0610_0002__THINK] :
              ( r_0610_0001__I(R_0610_0001__I)
              & r_0610_0009__really(R_0610_0009__REALLY)
              & r_0610_0011__you(R_0610_0011__YOU)
              & r_0610_0002__think(R_0610_0002__THINK)
              & has_nim(R_0610_0002__THINK,Z_0610_5010)
              & z_0610_5010(Z_0610_5010)
              & has_r_0610_0005__in(Z_0610_5010,Z_0610_5009)
              & has_arg1(R_0610_0002__THINK,R_0610_0010__PREFER)
              & r_0610_0010__prefer(R_0610_0010__PREFER)
              & has_arg1(R_0610_0010__PREFER,R_0610_0011__YOU)
              & has_nim(R_0610_0010__PREFER,R_0610_0009__REALLY)
              & has_arg0(R_0610_0010__PREFER,R_0610_0001__I)
              & has_arg0(R_0610_0002__THINK,R_0610_0001__I) ) )
     => ? [R_0610_0001__I,R_0610_0009__REALLY,R_0610_0011__YOU,R_0610_0010__PREFER,Z_0610_5009,Z_0610_5010,R_0610_0002__THINK] :
          ( r_0610_0001__I(R_0610_0001__I)
          & r_0610_0009__really(R_0610_0009__REALLY)
          & r_0610_0011__you(R_0610_0011__YOU)
          & z_0610_5009(Z_0610_5009)
          & r_0610_0002__think(R_0610_0002__THINK)
          & has_nim(R_0610_0002__THINK,Z_0610_5010)
          & z_0610_5010(Z_0610_5010)
          & has_r_0610_0005__in(Z_0610_5010,Z_0610_5009)
          & has_arg1(R_0610_0002__THINK,R_0610_0010__PREFER)
          & r_0610_0010__prefer(R_0610_0010__PREFER)
          & has_arg1(R_0610_0010__PREFER,R_0610_0011__YOU)
          & has_nim(R_0610_0010__PREFER,R_0610_0009__REALLY)
          & has_arg0(R_0610_0010__PREFER,R_0610_0001__I)
          & has_arg0(R_0610_0002__THINK,R_0610_0001__I) ) ) ).