True is related to Certain. Certain is related to Knowledge. you are likely to find Knowledge in/at/on Library. 
Extend is a type of Change. Have is a type of Change. Have is a synonym of Suffer. 
True <--RelatedTo--> Certain <--RelatedTo--> Knowledge --AtLocation--> Library 
Extend --IsA--> Change <--IsA-- Have <--Synonym--> Suffer 