A Translation from Logic to English with Dynamic Semantics