pub fn argument_from_established_rule() -> SchemeSpec
Argument from Established Rule (Walton 2008 p.318).