On supervising agents in situation-determined ConGolog