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