mafni'u lujvo

n1=m3 is a witch/enchantress/sorcereress, using magic m1, to observer m2

Only for cases when the sex of the magician is relevant, either to the mechanics of the magic itself or simply to the cultural archetype. The witches from Harry Potter would not necessarily be lo mafni'u, but the witches from Discworld definitely would.