Text this: APPROACH TO MODELLING A PERSONNEL CONTROL SUBSYSTEM BY MEANS OF FORMAL LOGIC AT THE ENGINEERING ENTERPRISES