a liquid is a kind of substance
liquid is fluid_substance. liquid is not substance. liquid is substance. liquid is fluid. liquid is liquid. water is liquid. liquid is not fluid_substance. liquid_substance_p is liquid. liquid is not liquid.