Expounded running example to query_interp