Available is related to Opportunity. Occasion is a type of Opportunity. Sale is a type of Occasion. Sale is related to Reduction. 
Truth can be Relative. 
Available <--RelatedTo--> Opportunity <--IsA-- Occasion <--IsA-- Sale <--RelatedTo--> Reduction 
Truth --HasProperty--> Relative 