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.
Havelian is smaller than Abbottabad.
The text only says Havelian is 12 km from Abbottabad; perhaps the model confused km with size?
( z1 have-degree :ARG1 ( z2 country :name ( z3 name :op "Havelian" ) ) :ARG2 ( z4 small ) :ARG3 ( z5 more ) :ARG4 ( z6 city :name ( z7 name :op "Abbottabad" ) ) )