Logical is related to Proof. Demonstration is a type of Proof. you are likely to find Information in/at/on Demonstration. Information is related to Know. 
Area is related to Floor. Floor is related to Feel. Feel is related to Oil. Oil is related to Thin. 
Logical <--RelatedTo--> Proof <--IsA-- Demonstration <--AtLocation-- Information <--RelatedTo--> Know 
Area <--RelatedTo--> Floor <--RelatedTo--> Feel <--RelatedTo--> Oil <--RelatedTo--> Thin 