( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (VBP;_Tn_ knows;{know})
          (NP-OB1 (Q;_nphd_ all;{all})
                  (PP (P-ROLE about;{about})
                      (NP;{SHIP} (D the;{the})
                                 (N ship;{ship}))))
          (PUNC .))
  (ID 346_a_dick_1952))

arc(r_0346_0002__knows,r_0346_0001__It,arg0).
arc(r_0346_0002__knows,z_0346_5004,arg1).
arc(r_0346_0003__all__quant,r_0346_0002__knows,scope).
arc(r_0346_0003__all__quant,z_0346_5004,restriction).
arc(z_0346_5004,r_0346_0005__the_r_0346_0006__ship,r_0346_0004__about).

fof(formula,axiom,
    ! [Z_0346_5004,R_0346_0005__THE_R_0346_0006__SHIP] :
      ( ( r_0346_0005__the_r_0346_0006__ship(R_0346_0005__THE_R_0346_0006__SHIP)
        & z_0346_5004(Z_0346_5004)
        & has_r_0346_0004__about(Z_0346_5004,R_0346_0005__THE_R_0346_0006__SHIP) )
     => ? [R_0346_0001__IT,R_0346_0002__KNOWS] :
          ( r_0346_0001__It(R_0346_0001__IT)
          & r_0346_0002__knows(R_0346_0002__KNOWS)
          & has_arg1(R_0346_0002__KNOWS,Z_0346_5004)
          & has_arg0(R_0346_0002__KNOWS,R_0346_0001__IT) ) ) ).