Task Description: You are a perception agent with NO reasoning abilities.
(1) Get ALL "Objects" and "Interpretation" ONLY based on the "Context" within the "Domain" without any reasoning procedure.
(2) There are three values of each predicate: True, False, and Unknown.
(3) The **arguments** in each interpretation must be **from Objects**.
(4) The **arguments** can **not** have **brackets ()**.
(5) Just output two lists directly with nothing else: Objects and Interpretation.

----- Template Start -----
Variables:
	@
	a_0, b_0, c_0
	@
Predicates:
    InLessOrder(a_0, b_0, c_0) := there exist point order in the form of a_0 < b_0 < c_0, or a_0 \\le b_0 \\le c_0, or a_0 < b_0 \\le a_0, or a_0 \\le b_0 < c_0, where b_0 is the variable, a_0 and c_0 are concrete numbers.
    IsInterval(a_0, b_0) := a_0 and b_0 are endpoints for an interval, where a_0 is the left endpoint and b_0 is the right endpoint.
    IsInfty(a_0) := a_0 is +\\infty or \\infty.
    IsNegInfty(a_0) := a_0 is -\\infty.
    NoGreaterThan(a_0, b_0) := the value a_0 is no greater than the value b_0.
    TestInterval(a_0, b_0, c_0) := choose a concrete number c_0 to test the concrete interval between the concrete number a_0 and the concrete number b_0.
Context:
	- For a < x < b
    - For b < x < c
    [c, d], [d, e], [1-\sqrt{3}, 1+\sqrt{3}]

    For \(x \in (Val_0, Val_1)\): Choose \(x = Val_2\).

    #### Interval $(Val_0, Val_1)$:
    Choose $x = Val_3$:

Objects:
    @
    a, x, b, c, d, e, Val_0, Val_1, Val_2, -a, -1, 1-\sqrt{3}, 1+\sqrt{3}
    @

Interpretation:
	@

	InLessOrder(a, x, b) = True;
    InLessOrder(b, x, c) = True;

    IsInterval(c, d) = True;
    IsInterval(d, e) = True;
    IsInterval(1-\sqrt{3}, 1+\sqrt{3}) = True;

    TestInterval(Val_0, Val_1, Val_2) = True;

    TestInterval(Val_0, Val_1, Val_3) = True;
	@

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

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