There is a difference between הערה (made naked) and גילה (uncover): העראה is an attachment to the place of the nakedness. Thus, with respect to a menstruating woman, it does not use the language גילה, only the language הערה, as she is permissible to him. And also with a sister of a father, it says הערה to teach that for both of them, the prohibition of העראה applies as soon as the intercourse is finished.

In all places, the language ביאה (copulation) and קריבה (closeness) with a woman come before the word אל. But when it is written with respect to the law of a childless widow awaiting Levirate marriage יבמה יבוא עליה (her husband's brother shall go in to her)⁷²⁷, it teaches that it is forced.

footnotes: ⁷²⁷ Deuteronomy 25:5.

And the verb רבע (mate) is only found with respect to pairing of two things that are not of the same species, and the sages of blessed memory interpret it to mean pairs of animals in general.

And an explanation of the noun שכבת זרע (flow of seed) – See above citations.

For נדה , דוה , זבה, see the above citations.