# rule_09:
all(age >= 0 & age <= 113)
