The highest division is the makuuchi, of which the champions are known as yokozuna.
Yokozuna is the name of champions in makuuchi.  
mnli hypothesis: Yokozuna is the name of champions in makuuchi.   premise: The highest division is the makuuchi, of which the champions are known as yokozuna.