2020-08-26 00:27:06 +03:00
< html >
< head >
< title > assertions< / title >
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< meta name = "viewport" content = "width=device-width initial-scale=1" >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< / head >
< body class = "commentary-font" >
< nav role = "navigation" >
< h1 > < a href = "../index.html" >
< img src = "../docs-assets/Inform.png" height = 72" >
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
< li > < a href = "../other.html" > other tools< / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
< / ul > < h2 > Compiler Webs< / h2 > < ul >
< li > < a href = "../inbuild/index.html" > inbuild< / a > < / li >
< li > < a href = "../inform7/index.html" > inform7< / a > < / li >
< li > < a href = "../inter/index.html" > inter< / a > < / li >
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
< li > < a href = "../core-module/index.html" > core< / a > < / li >
< li > < span class = "unlink" > assertions< / span > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "../imperative-module/index.html" > imperative< / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
< li > < a href = "../if-module/index.html" > if< / a > < / li >
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
< li > < a href = "../index-module/index.html" > index< / a > < / li >
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / a > < / li >
< / ul > < h2 > Services< / h2 > < ul >
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
< li > < a href = "../html-module/index.html" > html< / a > < / li >
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
< / ul >
< / nav >
< main role = "main" >
2021-02-05 02:15:21 +02:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inform7< / a > < / li > < li > < b > assertions< / b > < / li > < / ul >
2020-08-26 00:27:06 +03:00
< p class = "purpose" > Dealing with top-level declarations in Inform source text. This is version 1.< / p >
< hr >
< div class = "contentspage" >
< ul class = "chapterlist" >
< li >
< p class = "chapterentry" > < a name = "P" > < / a >
< span class = "chaptertitle" > Preliminaries< / span > < / p >
< ul class = "sectionlist" >
< li >
< p class = "sectionentry" > < a href = "P-wtmd.html" >
< spon class = "sectiontitle" > What This Module Does< / span > < / a > -
< span class = "sectionpurpose" > An overview of the assertions module's role and abilities.< / span > < / p >
< / li >
< / ul >
< / li >
< li >
< p class = "chapterentry" > < a name = "1" > < / a >
< span class = "chaptertitle" > Chapter 1: Configuration and Control< / span > < / p >
< ul class = "sectionlist" >
< li >
< p class = "sectionentry" > < a href = "1-am.html" >
< spon class = "sectiontitle" > Assertions Module< / span > < / a > -
< span class = "sectionpurpose" > Setting up the use of this module.< / span > < / p >
< / li >
< / ul >
< / li >
2020-08-26 12:52:50 +03:00
< li >
< p class = "chapterentry" > < a name = "2" > < / a >
2021-02-05 02:15:21 +02:00
< span class = "chaptertitle" > Chapter 2: Declarations< / span > < / p >
2020-08-26 12:52:50 +03:00
< p class = "chapterpurpose" > Passing three times through top-level declarations and assertion sentences.< / p >
< ul class = "sectionlist" >
< li >
< p class = "sectionentry" > < a href = "2-bv.html" >
< spon class = "sectiontitle" > Booting Verbs< / span > < / a > -
< span class = "sectionpurpose" > In Inform even verbs are created with natural language sentences, but this process has to start somewhere.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "2-ptmn.html" >
< spon class = "sectiontitle" > Passes through Major Nodes< / span > < / a > -
< span class = "sectionpurpose" > To manage the overall process of traversing the parse tree for top-level declarations and assertion sentences.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "2-ar.html" >
< spon class = "sectiontitle" > Anaphoric References< / span > < / a > -
< span class = "sectionpurpose" > To keep track of the current object and subject of discussion.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "2-cs.html" >
< spon class = "sectiontitle" > Classifying Sentences< / span > < / a > -
< span class = "sectionpurpose" > To work out the verbs used and to diagram sentences in the source.< / span > < / p >
< / li >
2021-02-18 01:32:04 +02:00
< li >
< p class = "sectionentry" > < a href = "2-ps.html" >
< spon class = "sectiontitle" > Property Sentences< / span > < / a > -
< span class = "sectionpurpose" > To examine assertion sentences for property creation.< / span > < / p >
< / li >
2021-03-24 02:20:56 +02:00
< li >
< p class = "sectionentry" > < a href = "2-is.html" >
< spon class = "sectiontitle" > Imperative Subtrees< / span > < / a > -
< span class = "sectionpurpose" > To tidy up blocks of rule and phrase definition in the syntax tree.< / span > < / p >
< / li >
2020-08-26 12:52:50 +03:00
< / ul >
< / li >
< li >
< p class = "chapterentry" > < a name = "3" > < / a >
< span class = "chaptertitle" > Chapter 3: Requests< / span > < / p >
< p class = "chapterpurpose" > Sentences, often imperative, which have special meanings.< / p >
< ul class = "sectionlist" >
< li >
< p class = "sectionentry" > < a href = "3-dlr.html" >
< spon class = "sectiontitle" > Debugging Log Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for changing what goes into the debugging log.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-pr.html" >
< spon class = "sectiontitle" > Pluralisation Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for setting exotic plural forms of nouns.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-tr.html" >
< spon class = "sectiontitle" > Translation Requests< / span > < / a > -
< span class = "sectionpurpose" > Three unrelated senses of "X translates into Y as Z" sentences.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-nuor.html" >
< spon class = "sectiontitle" > New Use Option Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for creating new use options.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-uor.html" >
< spon class = "sectiontitle" > Use Options< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for setting compilation options.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-tr2.html" >
< spon class = "sectiontitle" > Test Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for requesting unit tests or providing test scripts.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-dbtr.html" >
< spon class = "sectiontitle" > Define by Table Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences declaring that tables amount to massed groups of assertions.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-rpr.html" >
< spon class = "sectiontitle" > Rule Placement Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for listing named rules in particular rulebooks.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-nar.html" >
< spon class = "sectiontitle" > New Activity Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences creating new activities.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-nlpr.html" >
< spon class = "sectiontitle" > New Literal Pattern Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences creating new notations for literal values.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-nrr.html" >
< spon class = "sectiontitle" > New Relation Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for creating new relations.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-npr.html" >
< spon class = "sectiontitle" > New Property Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences creating new either/or properties.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-nvr.html" >
< spon class = "sectiontitle" > New Verb Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for creating new verbs.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "3-nar2.html" >
< spon class = "sectiontitle" > New Adjective Requests< / span > < / a > -
< span class = "sectionpurpose" > Special sentences for creating new adjectives.< / span > < / p >
< / li >
< / ul >
< / li >
< li >
< p class = "chapterentry" > < a name = "4" > < / a >
< span class = "chaptertitle" > Chapter 4: Assertions< / span > < / p >
< p class = "chapterpurpose" > Turning regular assertion sentences into propositions about the model world.< / p >
< ul class = "sectionlist" >
2020-08-27 01:12:58 +03:00
< li >
< p class = "sectionentry" > < a href = "4-nr.html" >
< spon class = "sectiontitle" > Name Resolution< / span > < / a > -
< span class = "sectionpurpose" > To resolve abbreviated or ambiguous nouns in context of their headings.< / span > < / p >
< / li >
2020-08-26 12:52:50 +03:00
< li >
< p class = "sectionentry" > < a href = "4-rpt.html" >
< spon class = "sectiontitle" > Refine Parse Tree< / span > < / a > -
< span class = "sectionpurpose" > To determine which subjects are referred to by noun phrases such as "the table" or "a paper cup" found in assertion sentences.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-tc.html" >
< spon class = "sectiontitle" > The Creator< / span > < / a > -
< span class = "sectionpurpose" > This is where all objects, kinds of object, named values, kinds of value and global variables are made.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-ass.html" >
< spon class = "sectiontitle" > Assertions< / span > < / a > -
< span class = "sectionpurpose" > To infer facts about the model world, or take other action, based on sentences asserted as being true in the source text.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-npa.html" >
< spon class = "sectiontitle" > New Property Assertions< / span > < / a > -
< span class = "sectionpurpose" > When regular assertion sentences create properties.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-pk.html" >
< spon class = "sectiontitle" > Property Knowledge< / span > < / a > -
< span class = "sectionpurpose" > This section draws inferences from assertions which seem to be about the properties of things, independent of their location.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-rk.html" >
< spon class = "sectiontitle" > Relation Knowledge< / span > < / a > -
< span class = "sectionpurpose" > This section draws inferences about the relationships between objects or values.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-ass2.html" >
< spon class = "sectiontitle" > Assemblies< / span > < / a > -
< span class = "sectionpurpose" > To build the complex multi-object assemblies which result from allowing the source text to say things like "in every room is a vehicle".< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "4-imp.html" >
< spon class = "sectiontitle" > Implications< / span > < / a > -
< span class = "sectionpurpose" > To keep track of a dangerous form of super-assertion called an implication, which is allowed to generalise about properties.< / span > < / p >
< / li >
< / ul >
< / li >
< li >
< p class = "chapterentry" > < a name = "5" > < / a >
2021-03-26 01:20:37 +02:00
< span class = "chaptertitle" > Chapter 5: Imperative Code< / span > < / p >
< p class = "chapterpurpose" > What happens to preambles, colons, and blocks of imperative code.< / p >
< ul class = "sectionlist" >
< li >
< p class = "sectionentry" > < a href = "5-id.html" >
< spon class = "sectiontitle" > Imperative Definitions< / span > < / a > -
2021-03-27 01:03:25 +02:00
< span class = "sectionpurpose" > Each IMPERATIVE node in the syntax tree makes a definition using imperative code.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "5-idf.html" >
< spon class = "sectiontitle" > Imperative Definition Families< / span > < / a > -
< span class = "sectionpurpose" > Different categories of imperative definition.< / span > < / p >
2021-03-26 01:20:37 +02:00
< / li >
< li >
< p class = "sectionentry" > < a href = "5-adf.html" >
< spon class = "sectiontitle" > Adjectival Definition Family< / span > < / a > -
< span class = "sectionpurpose" > Imperative definitions of "Definition: X is Y: ..." adjectives.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "5-tpf.html" >
< spon class = "sectiontitle" > To Phrase Family< / span > < / a > -
< span class = "sectionpurpose" > Imperative definitions of "To..." phrases.< / span > < / p >
< / li >
< li >
< p class = "sectionentry" > < a href = "5-rf.html" >
< spon class = "sectiontitle" > Rule Family< / span > < / a > -
< span class = "sectionpurpose" > Imperative definitions of rules.< / span > < / p >
< / li >
< / ul >
< / li >
< li >
< p class = "chapterentry" > < a name = "6" > < / a >
< span class = "chaptertitle" > Chapter 6: Other Gadgets< / span > < / p >
2021-02-07 14:44:02 +02:00
< p class = "chapterpurpose" > Tables and equations do not look like sentences, but are also top-level.< / p >
< ul class = "sectionlist" >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "6-tc.html" >
2021-02-07 14:44:02 +02:00
< spon class = "sectiontitle" > Table Columns< / span > < / a > -
< span class = "sectionpurpose" > To manage the named columns which appear in tables.< / span > < / p >
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "6-tbl.html" >
2021-02-07 14:44:02 +02:00
< spon class = "sectiontitle" > Tables< / span > < / a > -
< span class = "sectionpurpose" > To manage and compile tables, which are two-dimensional arrays with associative look-up facilities provided at run-time.< / span > < / p >
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "6-eqt.html" >
2021-02-07 14:44:02 +02:00
< spon class = "sectiontitle" > Equations< / span > < / a > -
< span class = "sectionpurpose" > To manage and compile equations, which relate numerical quantities.< / span > < / p >
< / li >
< / ul >
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "chapterentry" > < a name = "7" > < / a >
< span class = "chaptertitle" > Chapter 7: Predicates< / span > < / p >
2021-02-05 02:15:21 +02:00
< p class = "chapterpurpose" > Unary and then binary predicates for the calculus module to conjure with.< / p >
2020-08-26 12:52:50 +03:00
< ul class = "sectionlist" >
2020-09-03 01:24:10 +03:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-kpr.html" >
2020-09-03 01:24:10 +03:00
< spon class = "sectiontitle" > Kind Predicates Revisited< / span > < / a > -
< span class = "sectionpurpose" > To define how the kind predicates behave in the Inform language.< / span > < / p >
< / li >
2020-08-29 11:33:21 +03:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-tap.html" >
2020-08-29 11:33:21 +03:00
< spon class = "sectiontitle" > The Adjectival Predicates< / span > < / a > -
2021-02-05 02:15:21 +02:00
< span class = "sectionpurpose" > To define the predicates connected to linguistic adjectives.< / span > < / p >
2020-08-29 11:33:21 +03:00
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-tcp.html" >
2020-08-29 11:33:21 +03:00
< spon class = "sectiontitle" > The Creation Predicates< / span > < / a > -
< span class = "sectionpurpose" > To define the predicates causing instances to be created.< / span > < / p >
< / li >
2020-08-26 12:52:50 +03:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-terr.html" >
2020-08-26 12:52:50 +03:00
< spon class = "sectiontitle" > The Equality Relation Revisited< / span > < / a > -
< span class = "sectionpurpose" > To define how equality behaves in the Inform language.< / span > < / p >
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-qr.html" >
2020-08-26 12:52:50 +03:00
< spon class = "sectiontitle" > Quasinumeric Relations< / span > < / a > -
< span class = "sectionpurpose" > To define the binary predicates corresponding to numerical comparisons.< / span > < / p >
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-tur.html" >
2020-08-27 01:12:58 +03:00
< spon class = "sectiontitle" > The Universal Relation< / span > < / a > -
< span class = "sectionpurpose" > To define the universal relation, which can apply and therefore subsumes all other relations.< / span > < / p >
2020-08-26 12:52:50 +03:00
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-er.html" >
2020-08-26 12:52:50 +03:00
< spon class = "sectiontitle" > Explicit Relations< / span > < / a > -
< span class = "sectionpurpose" > To draw inferences from the relations created explicitly by the source text.< / span > < / p >
< / li >
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-lr.html" >
2021-02-07 14:44:02 +02:00
< spon class = "sectiontitle" > Listed-In Relations< / span > < / a > -
< span class = "sectionpurpose" > To define the binary predicates corresponding to table columns, and which determine whether a given value is listed in that column.< / span > < / p >
< / li >
2021-02-14 01:26:01 +02:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-aa.html" >
2021-02-14 01:26:01 +02:00
< spon class = "sectiontitle" > Adjective Ambiguity< / span > < / a > -
< span class = "sectionpurpose" > Managing the multiple contextual meanings which a single adjective can have.< / span > < / p >
< / li >
2021-02-07 14:44:02 +02:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-am.html" >
2020-08-27 01:12:58 +03:00
< spon class = "sectiontitle" > Adjective Meanings< / span > < / a > -
< span class = "sectionpurpose" > One individual meaning which an adjective can have.< / span > < / p >
2020-08-26 12:52:50 +03:00
< / li >
2021-02-14 18:46:14 +02:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-amd.html" >
2021-02-14 18:46:14 +02:00
< spon class = "sectiontitle" > Adjective Meaning Domains< / span > < / a > -
< span class = "sectionpurpose" > What a single sense of an adjective can apply to: perhaps a kind or an instance.< / span > < / p >
< / li >
2020-08-26 12:52:50 +03:00
< li >
2021-03-26 01:20:37 +02:00
< p class = "sectionentry" > < a href = "7-cu.html" >
2021-02-05 02:15:21 +02:00
< spon class = "sectiontitle" > Calculus Utilities< / span > < / a > -
< span class = "sectionpurpose" > Utility functions for creating basic propositions using these predicates.< / span > < / p >
2020-08-26 12:52:50 +03:00
< / li >
< / ul >
< / li >
2020-08-26 00:27:06 +03:00
< / ul >
< / div >
< hr >
< p class = "purpose" > Powered by < a href = "https://github.com/ganelson/inweb" > Inweb< / a > .< / p >
< / main >
< / body >
< / html >