> "The government" in British politics (as with most parliamentary systems) is a term of art which in a policy context refers specifically to present executive authority as embodied in the Prime Minister and his or her cabinet.

Fair. Although that particular term of art obfuscates some specific nuance. Namely that there were like 10 different conservative "the governments" that were referred to throughout spwa4's comment (i can't remember exactly how many different govts there were now and i cba to remember).

> "The government" at the time, embodied by David Cameron, were not pushing for Brexit.

Yes, although elements of the conservative party, some of which were part of David Cameron's government, were pushing for a referendum.