# lies with

This is a euphemism. Alternate translation: "has sexual relations with" (See: [[rc://en/ta/man/jit/figs-euphemism]])

# he must surely be put to death

This can be stated in active form. Alternate translation: "you must surely put him to death" (See: [[rc://en/ta/man/jit/figs-activepassive]])