answer(variable_clause_locality, a).
answer(variable_clause_locality, b).