The Charter Cities initiative is an attempt on my part to propose a different
metarule for changing the rules in developing countries, one that could, in some sense, circumvent many of the roadblocks that stop changes in rules.
Likewise, anything in indention format, invokes Al's
metarule for reading, i.e., "Skip it." If you, the reader, feel motivated to skip what at a glance look like mere infodumps, you have thus empathetically entered the Millennial mindset of my aliterate students.
Reasoning about recursion is formalized in terms of a
metarule (Scott-induction) which allows to conclude that the agent p(x) satisfies a property [Phi] whenever the body of p(x) satisfies the same property assuming the conclusion of the rule.
One can be subversive without making a mistake, and one may have failed to see that one should accept a given rule; but that is a different mistake and one which presupposes that one has internalized a
metarule that one should follow the rules accepted, say, by one's community.
For example, if a mask with ORG_A for AGENCY1 fails to match any of the rules, then there may be a
metarule that says to use CUST_TYPE to generalize, whereby the software would then find EXT_CUST using rule 3 in the AGENCY NETWORK rules of Table 10.
The vikarana snu, because marked with s, is termed sarvadhatuka at step 10 and at step 13 is thereby extended the status of being marked with n, which prevents guna at step 14 in accordance with the
metarule 1.1.5 shown at 14a.
In particular, it studies cases where verification is conducted on a
metarule base generated from the rules in each of the agents' knowledge bases.
The crux of the matter is that the "missing subject" construction of (32) is generated by means of a
metarule, which as such can apply only to lexical rules, and hence not to the rules which expand S[COMP that], which are not lexical rules.
As explained in [15] these axioms are typically not needed for an operational definition of deductive databases where a
metarule is given for dealing with negation, but they are useful for the understanding the underlying theory.
Hayek illustrates the concept of "immanent criticism" by appealing to judicial reasoning, which aims to make the common law coherent through
metarules governing judicial decision making.
See Buzbee, The Tethered President, supra note 10, at 1401-03 (discussing these agency policy-change obligations and
metarules).