Smoke requires Quit. Quit is related to Stop. Stop is a type of Interrupt. 
Formal is related to Organization. Institution is a type of Organization. 
Smoke --HasPrerequisite--> Quit <--RelatedTo--> Stop --IsA--> Interrupt 
Formal <--RelatedTo--> Organization <--IsA-- Institution 