Major is a type of Discipline. Discipline is a synonym of Punish. Punish entails/necessarily involves Estimate. Estimate is the opposite of Exact. 
Bar is a type of Barrier. Bar is related to Gym. you are likely to find Counter in/at/on Gym. 
Major --IsA--> Discipline <--Synonym--> Punish --Entails--> Estimate <--Antonym--> Exact 
Barrier <--IsA-- Bar <--RelatedTo--> Gym <--AtLocation-- Counter 