"semen"@prg . .