A Constructor-Based Approach toPositive / Negative-ConditionalEquational