E89 Propositional Object in Version 6.0