Envelope cannot be Alive. Alive is related to Duck. 
Math is related to Prime. Prime is a synonym of Main. 
Envelope --NotHasProperty--> Alive <--RelatedTo--> Duck 
Math <--RelatedTo--> Prime <--Synonym--> Main 