Floor can be Dirty. you are likely to find Floor in/at/on Store. 
Charge is a type of Request. Charge is a synonym of Commit. 
Dirty <--HasProperty-- Floor --AtLocation--> Store 
Request <--IsA-- Charge <--Synonym--> Commit 