changed translator to evaluate formulas only in terms of their propositions, using partially restrictive worlds