you are likely to find Lamp in/at/on Desk. you are likely to find Lamp in/at/on Store. Counter can be used for Store. 
Envision is derived from Vision. 
Desk <--AtLocation-- Lamp --AtLocation--> Store <--UsedFor-- Counter 
Vision <--DerivedFrom-- Envision 