The main difference between (CPw) and (CPn) is that on (CPw), there are two ways of discharging your obligation: by doing X or by making it the case that C is not fulfilled.
How much money 'should' you give to charity or to good causes, how hard should you work to discharge your obligation to your employer?
And being impartial to those who are a part of you — through blood or creed or association or profession (think of the thin blue line) — is not to be virtuous, but to be ungrateful and disloyal, more concerned with hewing to some abstract principle of respect for all than with discharging the obligations that come along with your most intimate relations.
B models are validated by discharging proof obligations ensuring safety properties.
Any governmental department or service responsible for discharging the obligations undertaken in the Convention of the International Telecommunication Union and the Radio Regulations.
Say we lived in a society where, instead of discharging our obligations to society by paying taxes, we were drafted for corvée labour (road work, military service, etc).
Automated theorem proving consists in automatically (i.e. without any user interaction) discharging proof obligations which arise when applying rigorous methodologies for designing critical software systems.
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design.
"As a signatory to the nuclear non-proliferation treaty, Britain should therefore give a lead in discharging its obligations by not seeking a replacement for Trident, as we are committed to accelerate concrete progress towards nuclear disarmament.
"History shows not only have we invested substantially in mining development in South Africa but we have also done so working within the law in discharging our obligations under our prospecting and mining permits," the company said.
The museum's president, Laura Parsons, said of the current situation: "The board took the first step of discharging its obligations to the bondholders — the next step is to determine what the best outcome for the museum and the art is".
