Task Description: You are a perception agent with NO reasoning abilities.
(1) Get the "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) Only output two lists: Objects and Interpretation.

----- Template Start -----
Variables:
	@
	a_0, a_1, a_2, b_0, b_1, b_2, c_0, e_0, e_1, e_2, x
	@

Predicates:
    Equal(a_0, a_1) := a_0 is equal to a_1, i.e., a_0 = a_1.
    IsPolyOne(a_0, a_1, a_2, b_0) := there is an expression a_0 in the form of a_1 * b_0 + a_2, where b_0 is the variable.
    IsPolyTwo(a_0, a_1, a_2, b_0, b_1) := there is en expression a_0 in the form of a_1 * b_1^2 + a_2 * b_1 + b_0, where b_1 is the variable.
    PolyFactorizeNeg(a_0, a_1, a_2) := there is an expression in the form of a_0 = -(a_1)(a_2).",
    PolyFactorizePos(a_0, a_1, a_2) := there is an expression in the form of a_0 = (a_1)(a_2) or -a_0 = -(a_1)(a_2).
    PolyFactorizeSquareNeg(a_0, a_1) := there is an expression in the form of a_0 = -(a_1)^2.
    PolyFactorizeSquarePos(a_0, a_1) := there is an expression in the form of a_0 = (a_1)^2 or -a_0 = -(a_1)^2.

Context:
	### Factor the quadratic expression
    \[
    -x^2 - ax + b = -(x^2 + cx + d) = -(x+e)^2
    \]
    Simplify (x+a)(x-b) and get (x^2 + cx - d).
    Factor \(y^2 - cy + d = (y-a)(y+b)\)

Objects:
    @
    minus_x_squared_minus_2_x_minus_1, x_squared_plus_c_x_minus_d, y_squared_minus_c_y_plus_d, x_plus_e, x_plus_a, x_minus_b, y_minus_a, y_plus_b, -1, -a, b, 1, c, d, e, a, -b, -d, -c
    @

Interpretation:
	@
	PolyFactorizeSquareNeg(minus_x_squared_minus_a_x_plus_b, x_plus_e) = True;
    PolyFactorizeSquarePos(x_squared_plus_c_x_plus_d, x_plus_e) = True;
    PolyFactorizePos(x_squared_minus_c_x_minus_d, x_plus_a, x_minus_b) = True;
    PolyFactorizePos(y_squared_minus_c_y_plus_d, y_minus_a, y_plus_b) = True;

	IsPolyTwo(minus_x_squared_minus_a_x_plus_b, -1, -a, b, x) = True;
	IsPolyTwo(x_squared_plus_c_x_plus_d, 1, c, d, x) = True;
	IsPolyTwo(x_squared_minus_c_x_minus_d, 1, c, -d, x) = True;
	IsPolyTwo(y_squared_minus_c_y_plus_d, 1, -c, d, x) = True;

	IsPolyOne(x_plus_e, 1, e, x) = True;
	IsPolyOne(x_plus_a, 1, a, x) = True;
	IsPolyOne(x_minus_b, 1, -b, x) = True;
	IsPolyOne(y_minus_a, 1, -a, y) = True;
	IsPolyOne(y_plus_b, 1, b, y) = True;
	@

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

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