functional complementation in heterologous system evidence used in automatic assertion