The class of types of services that are often supported by the sellers of products.
(=> (Support-For $X $Y) (Support-Service-Type $Y))