Definition of TO RECORD