@property
    def ellipsoid(self):
        return (self.semi_major, self.semi_minor, self.inverse_flattening)
Apply the closed domain assumption to the expression
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/django-1.5/django/contrib/gis/gdal/srs.py/SpatialReference.ellipsoid--crossover with--dataset/ETHPy150Open nltk/nltk/nltk/inference/nonmonotonic.py/ClosedDomainProver.replace_quants