Task Description: You are a perception agent.
(1) Get ALL "Objects" and "Interpretation" only based on the "Context" within the "Domain" following the way used in the "Template".
(2) There are three values of each predicate: True, False, and Unknown.
(3) The **arguments** in each interpretation must be **from Objects**.
(4) Only output two lists but nothing else: "Objects" and "Interpretations".


----- Template Start -----
Variables:
	@
	x, y, z
	@
Predicates:
   Defined(x, y) := No expression is undefined when x = y, where y is a number and x is the variable.
   Exclude(x, y) := according to the context, the variable x \\neq y, i.e., the variable x cannot be equal to value y.
   IsAns(x, y) := As shown in the Final answer, the variable x can take value y, where y is neither -\\infty nor \\infty.
   IsCriticalPoint(x, y) := the number y is a critical point for the variable x according to the context.
   IsVar(x) := x is the variable of the raw inequality question.
   Undefined(x, y) := some expression is undefined when x = y, where y is a number and x is the variable.

Context:
    Determine the critical points:
    \[
     a, b, Val_0, Val_1, Val_2
    \]

    Note:
    - \( x \neq Val_0 \)
    - x = Val_1: some expression is undefined.
    - At \(x = Val_2 \): the denominator is zero

    Final Answer: The final answer is $\boxed{(Val_2, Val_3) \cup [Val_4,\infty)}$.

Objects:
    @
    a, b, Val_0, Val_1, Val_2, Val_3, Val_4, x, 1-\sqrt{3}, 1+\sqrt{3}
    @

Interpretation:
	@
    IsCriticalPoint(x, a) = True;
    IsCriticalPoint(x, b) = True;
    IsCriticalPoint(x, Val_0) = True;
    IsCriticalPoint(x, Val_1) = True;
    IsCriticalPoint(x, Val_2) = True;

    Defined(x, a) = True;
    Defined(x, b) = True;

	Exclude(x, Val_0) = True;

    Undefined(x, Val_1) = True;
    Undefined(x, Val_2) = True;

	IsAns(x, Val_2) = False;
	IsAns(x, Val_3) = False;
	IsAns(x, Val_4) = True;
	@

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

----- Domain Start -----
NEWContext:
    [[Context]]
----- Domain End -----