A. Rights and duties

16 pages in this book.

Page	What it is for
Achieve by a deadline	I want to check that a result is reached before the end date.
Maintain a state	I want to check that a state holds throughout an interval.
Prohibition and detecting its violation	I want to distinguish a prohibition of an action from a detected violation of that prohibition.
A claim against the obliged person	I want to name the obliged party and the claim holder in one position.
Liberty of one’s own action	I want to permit an action of the liberty holder themselves.
Power and valid exercise	I want to create an effect only when a valid power is exercised.
Immunity locks the effect	I want to protect a status from change while keeping the fact of the attempt.
A collective duty as a whole	I want to create one duty of a collective without multiplying it onto members.
Recurring duty	I want to create a separate duty for each occurrence of a finite schedule. A three-day schedule yields three instances.
Duty from entering a state	I want to count the duty window from an event of entering a state.
Discretion as a choice	I want to give a body a choice of its own action within set bounds.
Not prohibited as a query	I want to ask about the absence of a prohibition in an explicitly chosen universe.
Delegation and subdelegation	I want to pass a power along a chain through a legal effect.
Duty bound by the rule body	I want to bind the duty bearer with a positive premise.
Two incompatible duties	I want to name the incompatibility of the goals of two duties of one person.
Power against immunity	I want to name the bound of the effect-conflict resolution policy explicitly.