Age[Tom, Fifteen]
Younger[Tom, Twenty]
Teenager[Tom]
Teenager[Susan]
HighSchooler[z]