When there is a girl, a virgin, betrothed to a man, and a man has found her in a city and lain with her,