Think requires Learn. you would Think because Remember. one thing you do when you Remember is Revelation. 
Match is a type of Equal. 
Learn <--HasPrerequisite-- Think --MotivatedByGoal--> Remember --HasSubevent--> Revelation 
Equal <--IsA-- Match 