HighSchooler[p] IF Student[p] AND Teenager[p]
Teenager[p] IF Younger[p, Twenty] AND Older[p, Twelve]
Younger[p, Twenty] IF Age[p, Fifteen]
Older[p, Twelve] IF Age[p, Fifteen]
Age[Susan, Fifteen]
Student[Susan]
Age[Tom, Thirteen]