Find!
x1 asserts/prophesies that x2=b1 is true about the future of b2.
Compare to bavji'i, bavykri, which both deal with thought predictions rather than predictions in speech/writing.