Learning Situation Models in a Smart Home | Synapse