(documentationpermitsEnglishLanguage "A relation between an AutonomousAgent and Formula that it will not deter from becoming true. Note that permitting something does not entail that the AutonomousAgent necessarily desires it. It does entail that the AutonomousAgent would have power, at least to some degree, to prohibit it. For example, a government may permit smoking marijuana under some conditions (such as being of a certain ageOfMajority) without saying that it encourages its use, and it could at another time prohibit its use (if the voters approve a law making its use Illegal). Like punishes it also is an institutional relation. When an AutonomousAgentpermits something it entails a Stating that it will not punish those who do what it permits.")
permits