Task Description:
(1) Generate an instance for each variable in the predicate and satisfy the predicate value. You can follow the way used in "Template".
(2) The predicate values should be satisfied at the same time.
(3) Only output the variable instance value with nothing else.

----- Template Start -----
Variables:
	{x, y}

Predicates:
	InRailwayPremises(x, y) := a person x is in some railway premises y.

Values:
    {InRailwayPremises(x, y) = True}

Instance:
	{x = Alice; y = Railway station}

----- Template End -----

----- Domain Start -----
Variables:
    {[[Variables]]}

Predicates:
    [[Predicates]]

Values:
    [[Values]]
----- Domain End -----