[2118] dēvirginātio, ōnis, f. (devirgino), die Entjungferung, Beraubung der Jungfernschaft, Scrib. Larg. 18.