%% goal: answer(X0)

answer(neq_scalar_same_lexical_fails) :- ("7" \= 7).