Characterizing the Solution Set for Nonconvex Semi-Infinite Programs Involving Tangential Subdifferentials