answer(numeric_gt, true).
answer(numeric_le, true).
answer(lexical_ge, true).