ptolemy.data.ontologies.lattice.adapters.abstractInterpretation.data.expr