Fail is related to Test. Test is related to Method. Method is related to Goal. 
Propose is a synonym of State. Wild is a type of State. you are likely to find Horse in/at/on Wild. 
Fail <--RelatedTo--> Test <--RelatedTo--> Method <--RelatedTo--> Goal 
Propose <--Synonym--> State <--IsA-- Wild <--AtLocation-- Horse 