E89 Propositional Object in Version 5.1.2