A relation that indicates any documents that are relevant to the product.
(=> (Associated-Documents $X $Y) (Product $X)) (=> (Associated-Documents $X $Y) (Document $Y))