ageAbove(patH, 'P80Y').
holds_result(test, true).