Bat is related to Lock. Lock is related to Combination. Combination is related to Variation. 
Formal is the opposite of Casual. Casual is a synonym of Random. Random is a different concept from Order. Order is a synonym of Tribe. 
Bat <--RelatedTo--> Lock <--RelatedTo--> Combination <--RelatedTo--> Variation 
Formal <--Antonym--> Casual <--Synonym--> Random <--DistinctFrom--> Order <--Synonym--> Tribe 