Cancel is a type of Declare. Propose is a type of Declare. Propose is related to Answer. Answer is related to Dress. 
Theological is derived from Theology. Theology is a type of Discipline. Discipline is a synonym of Sanction. 
Cancel --IsA--> Declare <--IsA-- Propose <--RelatedTo--> Answer <--RelatedTo--> Dress 
Theological --DerivedFrom--> Theology --IsA--> Discipline <--Synonym--> Sanction 