River is related to Stream. Stream is a different concept from Progressive. 
Law is related to Business. Business is related to Permit. Permit is related to Disc. Disc is related to Storage. 
River <--RelatedTo--> Stream <--DistinctFrom--> Progressive 
Law <--RelatedTo--> Business <--RelatedTo--> Permit <--RelatedTo--> Disc <--RelatedTo--> Storage 