functional complementation evidence used in automatic assertion