Does John live in Madison ?
[IN:GET_LOCATION [SL:CONTACT John ] [SL:LOCATION Madison ] ]