Multi Store Model Theory