addr:city is for postal city, not physical city. Indeed, this location is physically within San Jose, as can be seen by the borders, but according to USPS, letters delivered here should have "Cupertino" in the city line, likely since it's served by a Cupertino post office.