Boot is a type of Remove. 
Let is a type of Serve. Let is related to Live. Live requires Eat. Mess is a type of Eat. 
Remove <--IsA-- Boot 
Serve <--IsA-- Let <--RelatedTo--> Live --HasPrerequisite--> Eat <--IsA-- Mess 