one thing you do when you Write is Pen. you are likely to find Pen in/at/on Table. you are likely to find Table in/at/on Demonstration. Demonstration is a type of Proof. 
Force is related to Armed. 
Write --HasSubevent--> Pen --AtLocation--> Table --AtLocation--> Demonstration --IsA--> Proof 
Force <--RelatedTo--> Armed 