E89 Propositional Object in Version 6.2.2