Is A

reldef:product:is_a

product is a — product relation (product is a).