BUR #18850 has been rejected.
create implication sucking_both_nipples -> sucking_on_multiple_breasts
Unless I’m missing something, this is a square/rectangle situation. For example, sucking_on_multiple_breasts could involve a single person sucking one breast each of two different people, but sucking_both_nipples would always also be sucking_on_multiple_breasts.