同位语从句
本身主句是There be 结构
that 这个先行词在从句中不做任何成分
也就是说,he will come 是个完整的句子.
这种事实是毫无疑问的.这种事实指的就是他回来的事实.是同位语从句