本文指出了von Fintel(2001)和Gillies(2007)中对反事实条件句序列处理中的两个问题,尤其是反事实条件句与事实句的相互作用问题。然后,我们在动态语义框架中对反事实条件句给出了一个新的语义解释,并且表明von Fintel和Gillies理论中的问题能够被解决。