ice cream is a kind of solid
vanilla_ice_cream is ice_cream. ice is solid. ice_cream is not solid_food. ice_cream is cold_dessert. ice is not solid. ice_cream is food. ice_cream is solid_food. cold_cream is cream. dry_ice is solid.