Restrict is a synonym of Bind. Bind is a type of Cover. Cover is a type of Satisfy. Content is a type of Satisfy. 
Species is a type of Kind. 
Restrict <--Synonym--> Bind --IsA--> Cover --IsA--> Satisfy <--IsA-- Content 
Kind <--IsA-- Species 