Premise: The Abbottabad University of Science and Technology (also named "AUST"), is a public university located in Havelian (12 km from Abbottabad), Khyber Pakhtunkhwa, Pakistan. The University offers admissions in "Bachelors", "Masters", "MS/M. Phill" and "PHD" programs.
Hypothesis: Havelian is smaller than Abbottabad.