Proto-Proposal: Definition of definitions
(AI = 3, please)
Amend Rule 754 (Definition Definitions) by appending this text to
section (2):
A clause of the form "X is/are Y", where X and Y are both
nouns or noun phrases, SHOULD be interpreted as "X is/are
defined as Y").
Amend Rule 2125 (Regulation Regulations) by replacing this text:
An action is regulated if and only if:
with this text:
A regulated action is an action satisfying any of the following:
Amend Rule 2186 (Victory) by replacing this text:
Winning Conditions and Losing Conditions exist only as defined
by rules.
with this text:
A Winning (Losing) Condition is a condition defined as such by
the rules.
and by replacing this text:
This is the only way to win the game
with this text:
The game CANNOT otherwise be won
Amend Rule 2177 (The Senate) by replacing this text:
The collection of Senators is the Senate.
with this text:
The Senate is the set of all Senators.
and by replacing this text:
any first-class player who is a member of the roll call is a
senator.
with this text:
a senator is a first-class player who is a member of the roll
call.
Amend Rule 1681 (The Logical Rulesets) by replacing this text:
There is a format of the ruleset known as the Short Logical
Ruleset (SLR).
with this text:
The Short Logical Ruleset (SLR) is a format of the ruleset.
and by replacing this text:
There is a format of the ruleset known as the Full Logical
Ruleset (FLR).
with this text:
The Full Logical Ruleset (FLR) is a format of the ruleset.
Amend Rule 478 (Fora) by replacing this text:
A message is public if and only if it is sent via a public forum
or is sent to all players and contains a clear designation of
intent to be public.
with this text:
A public message is a message sent via a public forum, or sent to
all players and containing a clear designation of intent to be
public.
Amend Rule 2150 (Personhood) by replacing this text:
A person is an entity that has the general capacity to be the
subject of rights and obligations under the rules. An entity is
a person if and only if it is defined to be so by rules with
power 2 or greater.
with this text:
A person is an entity defined as such by the rules. Defining an
entity as a person is secured, with a power threshold of 2. A
person CAN generally be the subject of rights and obligations
under the rules.
Amend Rule 2166 (Assets) by replacing this text:
A class of assets is public if its backing document is a rule or
a public contract; otherwise it is private.
with this text:
A public class of assets is a class of assets whose backing
document is a rule or a public contract. All others are private.
Amend Rule 1750 (Read the Ruleset Week) by replacing this text:
The first Agoran week each year which falls entirely in February
is Read the Ruleset Week.
with this text:
Read the Ruleset Week is the first Agoran week each year that
falls entirely in February.
Amend Rule 1006 (Offices) by replacing this text:
A role is an office if and only if it is so defined by the
rules. Each office at any time either is vacant (default) or is
filled (held) by exactly one player. The holder of an office is
an officer, and may be referred to by the name of the office.
An office is imposed if it is so described by the rule defining
it; otherwise, it is elected.
with this text:
An office is a role defined as such by the rules. Each office
is either vacant (default) or filled (held) by exactly one
player. An officer is the holder of an office, who may be
referred to by the name of that office.
An imposed office is an office described as such by the rule
defining it. All others are elected.
Amend Rule 106 (Adopting Proposals) by replacing this text:
That player is its author (syn. proposer).
with this text:
The author (syn. proposer) of a proposal is the player who
submitted it.
and by replacing this text:
A person is a co-author of a proposal if and only if e is
distinct from its author, and unambiguously identified by its
author as being its co-author at the time of submission.
with this text:
A co-author of a proposal is a person (other than its author)
unambiguously identified as such by its author when it was
submitted.
Amend Rule 2175 (Judicial Retraction and Excess) to read:
A new case is a judicial case (other than an appeal case) that
has not had any judge assigned to it. The initiator of a new
case CAN retract it by announcement, thus causing it to cease
to be a judicial case.
An excess case is a new case whose initiator previously initiated
five or more cases during the same week as that case. The Clerk
of the Courts CAN refuse an excess case by announcement, thus
causing it to cease to be a judicial case.
Amend Rule 1868 (Judge Assignment Generally) by replacing this text:
A recusal is "with cause" if and only if stated
as such by the rules.
with this text:
A recusal "with cause" is a recusal defined as
such by the rules.
Amend Rule 2164 (Judicial Self-Recusal and Case Transfer) by replacing
this text:
If e has been assigned to the case for at
least four days, such a recusal is with cause.
with this text:
Such a recusal is with cause if and only
if e has been assigned to the case for at least four days.
Amend Rule 591 (Inquiry Cases) by replacing this text:
There is a subclass of judicial case known as an inquiry case.
with this text:
Inquiry cases are a subclass of judicial cases.
Amend Rule 1504 (Criminal Cases) by replacing this text:
There is a subclass of judicial case known as a criminal case.
with this text:
Criminal cases are a subclass of judicial cases.
Amend Rule 2169 (Equity Cases) by replacing this text:
There is a subclass of judicial case known as an equity case.
with this text:
Equity cases are a subclass of judicial cases.
Amend Rule 911 (Appeal Cases) by replacing this text:
There is a subclass of judicial case known as an appeal case.
with this text:
Appeal cases are a subclass of judicial cases.
Amend Rule 2178 (Public Contracts) by replacing "Any other contract is
private." with "All other contracts are private."
Amend Rule 2145 (Partnerships) by replacing this text:
A binding agreement governed by the rules which devolves its
legal obligations onto a subset of its parties, numbering at
least two, collectively, is a partnership.
with this text:
A partnership is a contract that devolves its legal obligations
onto at least two of its parties.
Amend Rule 2136 (Contests) by replacing this text:
Contestmaster is a public contract switch, tracked by the
Notary, with a default value of 'none', and a set of possible
values which consists of all first-class players and 'none'.
A public contract is a contest if and only if it has a
contestmaster other than 'none'. The Scorekeepor's report
contains the contestmaster of each contest.
with this text:
Contestmaster is a public contract switch, tracked by the
Scorekeepor, with values 'none' (default) and all first-class
players. A contest is a public contract whose contestmaster
is not 'none'.
Amend Rule 2200 (Nomic Definitions) by replacing this text:
A foreign nomic is a nomic that is not Agora. Adopting the name
of "Agora" does not disqualify a nomic from being foreign; any
nomic that is not the One True Agora is a foreign nomic.
with this text:
A foreign nomic is a nomic other than this one.
Amend Rule 402 (Identity of the Speaker) by replacing "The Speaker is"
with "The office of Speaker is held by".
Amend Rule 103 (Role of the Speaker) by replacing this text:
The Speaker is an imposed office.
The Speaker is the figurehead of Agora, embodying its spirit.
with this text:
The Speaker is an imposed office, and the figurehead of Agora,
embodying its spirit.
Amend Rule 2148 (The Ambassador) by replacing "certain powers" with
"certain powers (in the ordinary-language sense)".
Amend Rule 2159 (Protective Decrees) by replacing this text:
A protective decree is an act of Agora the intended effect of
which is to make explicit changes to the state of a protectorate
nomic.
with this text:
A protective decree is an act of Agora whose intended effect is
to make explicit changes to the state of a protectorate nomic.
and by replacing this text:
The initiation of a protective decree is a secured change. The
initiating instrument must specify the target protectorate and
the changes to be made to it. Any ambiguity in the
specification of a protective decree causes it to be void and
without effect. This is the only mechanism by which a
protective decree can be initiated.
with this text:
Initiating a protective decree is secured, and is INVALID
unless the initiating instrument unambiguously specifies the
target protectorate and the changes to be made to it.
