BUR #19785 has been approved by @nonamethanks.
remove alias virgin -> defloration
See topic #18245, topic #25096, forum #164423, forum #167364 for context.
It's been almost three years since the reversal of the defloration -> virgin
alias, so I'd say the original argument for turning the alias into an implication, that people were still used to the alias, doesn't apply anymore.
I'll make another BUR for imply defloration -> virgin
for voting after this is sorted out, it's not possible to do it right now for technical reasons.