How can I modify a necessary and sufficient condition? Let us say, I have a class "Blank" which has an equivalent class defined by "hasBlank some integer[> 95]". How can I change the value from 95 to something else like 90, for instance?
Thanks in advance. -- Best Regards Suganth Ramaswamy
