tutorial_theif.ql

import tutorial

from Person t
where t.getHeight() > 150 and
	t.getHairColor() != "blond" and
	exists (string c | t.getHairColor() = c) and
	t.getAge() >= 30 and
	t.getLocation() = "east" and
	(t.getHairColor() = "black" or t.getHairColor() = "brown") and
	not (t.getHeight() > 180 and t.getHeight() < 190) and
    not t = max(Person p | | p order by p.getAge()) and
	not t = max(Person p | | p order by p.getHeight()) and
    t.getHeight() < avg(Person p | | p.getHeight()) and
	t = max(Person p | p.getLocation() = "east" | p order by p.getAge())
select t, "is " + t.getHeight() + " units tall", "and is " + t.getAge() + " years old"