( (FRAG (PULQ <lquo>)
        (PP (P-ROLE Of;{of})
            (NP (Q;_nphd_ all;{all})
                (NLYR (D the;{the})
                      (ADJP (ADJ caddish;{caddish}))
                      (NS things;{thing})
                      (IP-INF (TO to;{to})
                              (VB;__ say;{say})))))
        (PUNC !)
        (PURQ <rquo>))
  (ID 61_a_lob_n02))

arc(r_0061_0003__all__quant,z_0061_5009,restriction).
arc(r_0061_0003__all__quant,z_0061_5010,scope).
arc(r_0061_0004__the_r_0061_0006__things,r_0061_0005__caddish,attrib).
arc(r_0061_0004__the_r_0061_0006__things,r_0061_0008__say,emb).
arc(r_0061_0008__say,z_0061_5007,arg0).
arc(z_0061_5009,r_0061_0004__the_r_0061_0006__things,nim).
arc(z_0061_5010,z_0061_5009,r_0061_0002__Of).

fof(formula,axiom,
    ! [Z_0061_5009,R_0061_0005__CADDISH,Z_0061_5007,R_0061_0008__SAY,R_0061_0004__THE_R_0061_0006__THINGS] :
      ( ( r_0061_0005__caddish(R_0061_0005__CADDISH)
        & z_0061_5007(Z_0061_5007)
        & z_0061_5009(Z_0061_5009)
        & has_nim(Z_0061_5009,R_0061_0004__THE_R_0061_0006__THINGS)
        & r_0061_0004__the_r_0061_0006__things(R_0061_0004__THE_R_0061_0006__THINGS)
        & has_emb(R_0061_0004__THE_R_0061_0006__THINGS,R_0061_0008__SAY)
        & r_0061_0008__say(R_0061_0008__SAY)
        & has_arg0(R_0061_0008__SAY,Z_0061_5007)
        & has_attrib(R_0061_0004__THE_R_0061_0006__THINGS,R_0061_0005__CADDISH) )
     => ? [Z_0061_5010] :
          ( z_0061_5010(Z_0061_5010)
          & has_r_0061_0002__Of(Z_0061_5010,Z_0061_5009) ) ) ).