If a man has betrothed a girl who is a virgin, and if someone finds her in the city and he lies with her,