BUR #42595 has been rejected.
create implication sleeveless_turtleneck_leotard -> sleeveless
create implication sleeveless_turtleneck_leotard -> sleeveless_turtleneck
By definition, sleeveless turtleneck leotard is always sleeveless and always a sleeveless turtleneck.
