tepsne lujvo

s1=t1 has a nightmare about/that s2=t2 (fact/idea/event/state).

Cf. terpa, senva.