Engagement is related to Proposal. 
you are likely to find Instrument in/at/on Case. Case is related to Ideal. Ideal is related to Theory. Theory is related to Theological. 
Engagement <--RelatedTo--> Proposal 
Instrument --AtLocation--> Case <--RelatedTo--> Ideal <--RelatedTo--> Theory <--RelatedTo--> Theological 