BUR #60674 is pending approval.
create implication squatting_cowgirl_position -> squatting
create implication reverse_squatting_cowgirl_position -> squatting
if cowgirl_position implicates straddling, then squatting_cowgirl_position should implicate squatting.