2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Measurement Adjectives< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< 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" >
2020-05-03 03:01:21 +03:00
< script >
MathJax = {
tex: {
inlineMath: '$', '$'], ['\\(', '\\)'
},
svg: {
fontCache: 'global'
}
};
< / script >
< script type = "text/javascript" id = "MathJax-script" async
src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-svg.js">
< / script >
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-09 01:13:45 +03:00
< link href = "../docs-assets/Preform-Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2020-04-14 19:56:54 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< 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 >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Compiler Webs< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< 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 >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
2020-08-26 12:52:50 +03:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "index.html" > < span class = "selectedlink" > knowledge< / span > < / a > < / li >
< li > < a href = "../imperative-module/index.html" > imperative< / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-03-19 02:11:25 +02:00
< 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 >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / a > < / li >
2020-05-20 02:02:28 +03:00
< / ul > < h2 > Services< / h2 > < ul >
2020-04-14 19:56:54 +03:00
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-20 01:36:18 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Measurement Adjectives' generated by Inweb -->
< div class = "breadcrumbs" >
2021-02-06 20:00:34 +02:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inform7< / a > < / li > < li > < a href = "index.html" > knowledge< / a > < / li > < li > < a href = "index.html#3" > Chapter 3: Properties< / a > < / li > < li > < b > Measurement Adjectives< / b > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< p class = "purpose" > To define adjectives such as large, wide or roomy, which make implicit comparisons of the size of some numerical property, and which (unlike other adjectives) lead to comparative and superlative forms.< / p >
2019-03-17 14:40:57 +02:00
2021-02-06 20:00:34 +02:00
< ul class = "toc" > < li > < a href = "3-ma.html#SP4" > § 4. Measurements< / a > < / li > < li > < a href = "3-ma.html#SP9" > § 9. Adjectives arising from measurements< / a > < / li > < li > < a href = "3-ma.html#SP12" > § 12. Support routines for measurement< / a > < / li > < li > < a href = "3-ma.html#SP13" > § 13. Comparative forms< / a > < / li > < li > < a href = "3-ma.html#SP14" > § 14. Late registration of prepositions comparing properties< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-17 14:40:57 +02:00
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > A typical example would be:
2019-03-17 14:40:57 +02:00
< / p >
< blockquote >
< p > Definition: A container is roomy if its carrying capacity is 10 or more.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > Here the domain of the definition is "container", and we must assign
2019-03-17 14:40:57 +02:00
an adjective meaning for "roomy" which involves the comparison of a
2020-04-14 19:56:54 +03:00
property (here "carrying capacity") against a threshold value \(t\) (here,
\(t=10\)). Each such definition allows the property value to belong to a
"region": we are looking for membership of \(\lbrace x\mid x\leq t\rbrace\),
\(\lbrace t\rbrace\) or \(\lbrace x\mid x\geq t\rbrace\). The following constants
2019-03-17 14:40:57 +02:00
enumerate the possible shapes of this region.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > MEASURE_T_OR_LESS< / span > < span class = "plain-syntax" > -1< / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > MEASURE_T_OR_MORE< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > We then need to create the comparative form "roomier" as a relation, and the
2019-03-17 14:40:57 +02:00
superlative "roomiest" as a phrasal form — not in general an adjective, since
its domain is too ambiguous in text such as:
< / p >
< blockquote >
< p > if the canvas bag is roomiest, ...< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > which begs the question: roomiest out of what? All containers, or implicitly
2019-03-17 14:40:57 +02:00
some subcollection of them? So we avoid the problem by allowing superlatives
only when explicitly followed by a domain:
< / p >
< blockquote >
< p > roomiest container in Heathrow Terminal 5< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > The word "roomy" is the headword, so called in the lexicography sense —
2019-03-17 14:40:57 +02:00
other forms are derived from it but they all appear under "roomy" in
the Phrasebook.
< / p >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > The implementation of measurement adjectives is tricksy for reasons of
2019-03-17 14:40:57 +02:00
timing during Inform's run: the names of kinds, properties and values become
available at different times; whereas we need the name of the adjective
itself to become available very early on. This is why the structure below
appears to record a lot of extraneous clutter apparently needed only
temporarily during parsing — because parsing does not happen all at once,
and partial results have to be parked in the structure after one stage to
be picked up at the next.
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > At any rate, here's the structure:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > measurement_node< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > where the actual definition is< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > headword< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > adjective being defined (must be single word)< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > adjective_meaning< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > headword_as_adjective< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > which adjective meaning< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > superlative< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > its superlative form< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > the property being compared, if any< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > name_of_property_to_compare< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > text of the name of the property to compare< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef_iname< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > region_shape< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > one of the < / span > < span class = "extract" > < span class = "extract-syntax" > MEASURE_T_*< / span > < / span > < span class = "comment-syntax" > constants< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > region_threshold< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > numerical value of threshold (if any)< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > region_kind< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > of this value< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > region_threshold_evaluated< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > have we evaluated this one yet?< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > text of threshold value< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > property_schema_written< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > I6 schema for testing written yet?< / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< ul class = "endnotetexts" > < li > The structure measurement_definition is private to this section.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. Measurements. < / b > Here are operators for checking whether we lie inside the domain, where
2020-04-14 19:56:54 +03:00
the LHS is the value being tested and the RHS is the constant \(t\). In weak
comparison, \(t\) itself is a member; in strict comparison, it isn't.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "identifier-syntax" > binary_predicate< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Properties::Measurement::weak_comparison_bp< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > Properties::Measurement::weak_comparison_bp< / span > < / span > :< br / > < a href = "3-ma.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-20 01:36:18 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > binary_predicate< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > solely to placate gcc< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > MEASURE_T_OR_MORE:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R_numerically_greater_than_or_equal_to< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > MEASURE_T_EXACTLY:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R_equality< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > MEASURE_T_OR_LESS:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > R_numerically_less_than_or_equal_to< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > default:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "unknown region for weak comparison"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Properties::Measurement::strict_comparison< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > Properties::Measurement::strict_comparison< / span > < / span > :< br / > < a href = "3-ma.html#SP10_4_2" > § 10.4.2< / a > , < a href = "3-ma.html#SP13_1" > § 13.1< / a > < br / > Comparative Relations - < a href = "3-cr.html#SP5_1" > § 5.1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > solely to placate gcc< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > MEASURE_T_OR_MORE:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "string-syntax" > "> "< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > MEASURE_T_OR_LESS:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > = < / span > < span class = "string-syntax" > "< "< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > default:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "unknown region for strict comparison"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > operator< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Properties::Measurement::retrieve< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-ma.html#SP7" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::validate< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "3-ma.html#SP8" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::is_valid< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::read_property_details< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > property< / span > < span class = "plain-syntax" > **< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > ) *< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ) *< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. < / b > Inconveniently, at the time when we create a measurement to test if a subject
2020-04-14 19:56:54 +03:00
\(S\) satisfies (say) \(P(S) \in \lbrace x\mid x\geq t\rbrace\), we don't yet know
either the property \(P\) or the threshold value \(t\). That means the measurement
2019-03-17 14:40:57 +02:00
definition structure stands incomplete for a while. Filling it in is called
"validation", as follows.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::validate_definitions< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ;< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > ) < / span > < a href = "3-ma.html#SP7" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::validate< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > Where:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::validate< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > Properties::Measurement::validate< / span > < / span > :< br / > < a href = "3-ma.html#SP5" > § 5< / a > , < a href = "3-ma.html#SP6" > § 6< / a > , < a href = "3-ma.html#SP11" > § 11< / a > , < a href = "3-ma.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name_of_property_to_compare< / span > < span class = "plain-syntax" > )))< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP7_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Fill in the missing property name, P< / span > < span class = "named-paragraph-number" > 7.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold_evaluated< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP7_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Fill in the missing threshold value, t< / span > < span class = "named-paragraph-number" > 7.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7_1" class = "paragraph-anchor" > < / a > < b > § 7.1. < / b > Here we either make \(P\) valid, or leave it < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > and issue a problem.
2019-03-17 14:40:57 +02:00
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Fill in the missing property name, P< / span > < span class = "named-paragraph-number" > 7.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < property-name> (mdef-> < / span > < span class = "element-syntax" > name_of_property_to_compare< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Validating mdef with headword %W... < %W> \n"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > headword< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name_of_property_to_compare< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingUnknownProperty< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > measurement_node< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that definition involves an unknown property"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "assuming it was meant to be a definition in the form 'Definition: "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "a container is large if its carrying capacity is 10 or more.'"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP7" > § 7< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7_2" class = "paragraph-anchor" > < / a > < b > § 7.2. < / b > Here we either make \(t\) valid, or leave < span class = "extract" > < span class = "extract-syntax" > mdef-> region_threshold_evaluated< / span > < / span > clear
2019-03-17 14:40:57 +02:00
and issue a problem.
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Fill in the missing threshold value, t< / span > < span class = "named-paragraph-number" > 7.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > region_kind< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < s-literal> (mdef-> < / span > < span class = "element-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > ))< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_kind< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Rvalues::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_kind< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Rvalues::to_encoded_notation< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Kinds::Behaviour::is_quasinumerical< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_kind< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingNonarithmeticKOV< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > measurement_node< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "the property value given here has a kind which can't be "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "subject to numerical comparisons"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so it doesn't make sense to talk about it being 'more' or "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "'less'."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-12 01:59:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::compatible< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_kind< / span > < span class = "plain-syntax" > ,< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-vp.html#SP5" class = "function-link" > < span class = "function-syntax" > Properties::Valued::kind< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > )) != < / span > < span class = "identifier-syntax" > ALWAYS_MATCH< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingWrongKOV< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > measurement_node< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "the property value given here is the wrong kind"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "and does not match the property being looked at."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "Can't get literal from < %W> \n"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingNonLiteral< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > measurement_node< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that definition is wrongly phrased"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "assuming it was meant to be a grading adjective like 'Definition: a "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "container is large if its carrying capacity is 10 or more.'"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > region_threshold_evaluated< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP7" > § 7< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > To recover safely from these errors, we would be wise to check:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::is_valid< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > Properties::Measurement::is_valid< / span > < / span > :< br / > < a href = "3-ma.html#SP5" > § 5< / a > , < a href = "3-ma.html#SP11" > § 11< / a > , < a href = "3-ma.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold_evaluated< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. Adjectives arising from measurements. < / b > Measurement adjectives are created when we parse a "Definition:" clause for
2019-03-17 14:40:57 +02:00
a new adjective, and then only when the definition has a particular form:
< / p >
< blockquote >
< p > Definition: A container is roomy if its carrying capacity is 10 or more.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > < measurement-adjective-definition> is used to parse the definition part,
2019-03-17 14:40:57 +02:00
< / p >
< blockquote >
< p > its carrying capacity is 10 or more< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > The following grammar is a little sketchy because it's parsed very early in
2019-03-17 14:40:57 +02:00
Inform's run. Eventually, though, the text after the possessive is required
always to match < property-name> , and the text in the range must match
< s-literal> .
< / p >
2020-05-09 01:13:45 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < measurement-adjective-definition> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2021-02-06 20:00:34 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < possessive-third-person> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > is/are< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > not< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP9_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Issue PM_GradingMisphrased problem< / span > < span class = "named-paragraph-number" > 9.1< / span > < / a > < / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < possessive-third-person> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > {< property-name> }< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > is/are< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < measurement-range> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { R[3], RP[2] }< / span >
2021-02-06 20:00:34 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < possessive-third-person> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > is/are< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-function-syntax" > < measurement-range> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { R[2], NULL }< / span >
2020-05-09 01:13:45 +03:00
< span class = "Preform-function-syntax" > < measurement-range> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2020-07-28 21:19:38 +03:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > or< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > more< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { MEASURE_T_OR_MORE, - }< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > or< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > less< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > |< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { MEASURE_T_OR_LESS, - }< / span >
2021-02-06 20:00:34 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ==> < / span > < span class = "Preform-plain-syntax" > { MEASURE_T_EXACTLY, - }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-17 13:51:27 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9_1" class = "paragraph-anchor" > < / a > < b > § 9.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Issue PM_GradingMisphrased problem< / span > < span class = "named-paragraph-number" > 9.1< / span > < / span > < span class = "Preform-comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingMisphrased< / span > < span class = "plain-syntax" > ),< / span >
2020-07-27 02:27:32 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Diagrams::new_UNPARSED_NOUN< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "that definition is wrongly phrased"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "assuming it was meant to be a grading adjective like 'Definition: a "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "container is large if its carrying capacity is 10 or more.'"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP9" > § 9< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "identifier-syntax" > adjective_meaning< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Properties::Measurement::ADJ_parse< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > sense< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > AW< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DNW< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CONW< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CALLW< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > sense< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < measurement-adjective-definition> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CONW< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < r> > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PRW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > GET_RW< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < measurement-adjective-definition> < / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > THRESW< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > GET_RW< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < measurement-range> < / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Reject some overly elaborate attempts to define overly elaborate measurements< / span > < span class = "named-paragraph-number" > 10.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Allow an exact measurement to be created only if we can already parse the threshold< / span > < span class = "named-paragraph-number" > 10.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > );< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_3" class = "named-paragraph-link" > < span class = "named-paragraph" > Initialise the measurement definition< / span > < span class = "named-paragraph-number" > 10.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_4" class = "named-paragraph-link" > < span class = "named-paragraph" > Create the superlative form< / span > < span class = "named-paragraph-number" > 10.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_5" class = "named-paragraph-link" > < span class = "named-paragraph" > Create the adjectival meaning arising from this measurement< / span > < span class = "named-paragraph-number" > 10.5< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > headword_as_adjective< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_1" class = "paragraph-anchor" > < / a > < b > § 10.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Reject some overly elaborate attempts to define overly elaborate measurements< / span > < span class = "named-paragraph-number" > 10.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::length< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > AW< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > )< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_MultiwordGrading< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "a grading adjective must be a single word"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "as in 'Definition: a container is large if its carrying capacity is "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "10 or more.': 'fairly large' would not be allowed because it would "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "make no sense to talk about 'fairly larger' or 'fairly largest'."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::nonempty< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CALLW< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > )< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingCalled< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "callings are not allowed when defining grading adjectives"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so 'Definition: a container is large if its carrying capacity is 10 "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "or more.' is fine, but so 'Definition: a container (called the bag) "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "is large if its carrying capacity is 10 or more.' is not - then again, "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "there's very little call for it."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > sense< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > )< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::definition_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_GradingUnless< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "'unless' is not allowed when defining grading adjectives"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so 'Definition: a container is large if its carrying capacity is 10 "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "or more.' is fine, but so 'Definition: a container is modest unless "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "its carrying capacity is 10 or more.' is not - of course a similar "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "effect could be achieved by 'Definition: a container is modest if its "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "carrying capacity is 9 or less.'"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10" > § 10< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_2" class = "paragraph-anchor" > < / a > < b > § 10.2. < / b > Perhaps this is a good point to say why we allow any exact measurements at
2019-03-17 14:40:57 +02:00
all. After all, if we didn't, a definition like:
< / p >
< blockquote >
< p > Definition: a person is handy if his carrying capacity is 7.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > ...would still work; and "handy" would then be created as a < span class = "extract" > < span class = "extract-syntax" > CONDITION_KADJ< / span > < / span >
2019-03-17 14:40:57 +02:00
adjective. So why not let that happen?
< / p >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > The answer is that our < span class = "extract" > < span class = "extract-syntax" > MEASUREMENT_KADJ< / span > < / span > adjectives behave exactly the same
2019-03-17 14:40:57 +02:00
at run-time, but can also be asserted true in the model world at compile-time.
In particular, we could write:
< / p >
< blockquote >
< p > Peter is a handy person.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > This can't be done with general < span class = "extract" > < span class = "extract-syntax" > CONDITION_KADJ< / span > < / span > adjectives, because conditions
2019-03-17 14:40:57 +02:00
can't normally be unravelled at compile time.
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Allow an exact measurement to be created only if we can already parse the threshold< / span > < span class = "named-paragraph-number" > 10.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < s-literal> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > THRESW< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10" > § 10< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_3" class = "paragraph-anchor" > < / a > < b > § 10.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Initialise the measurement definition< / span > < span class = "named-paragraph-number" > 10.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > measurement_node< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > headword< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Wordings::first_word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > AW< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > region_threshold< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > THRESW< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > region_threshold_evaluated< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > property_schema_written< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > region_shape< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > shape< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > name_of_property_to_compare< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > PRW< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > superlative< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > but it may be set below< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > headword_as_adjective< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > but it will certainly be set below< / span >
2019-03-17 14:40:57 +02:00
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::package< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > CompilationUnits::current< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > ADJECTIVE_MEANINGS_HAP< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > mdef_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::make_iname_in< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > MEASUREMENT_FN_HL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10" > § 10< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_4" class = "paragraph-anchor" > < / a > < b > § 10.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Create the superlative form< / span > < span class = "named-paragraph-number" > 10.4< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-05-13 01:33:17 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > superlative< / span > < span class = "plain-syntax" > =< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Grading::make_superlative< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > headword< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Task::language_of_syntax< / span > < span class = "plain-syntax" > ());< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_4_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Feed the preamble for the superlative phrase into the lexer< / span > < span class = "named-paragraph-number" > 10.4.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP10_4_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Feed the body of the superlative phrase into the lexer< / span > < span class = "named-paragraph-number" > 10.4.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > RuleSubtrees::register_recently_lexed_phrases< / span > < span class = "plain-syntax" > ();< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10" > § 10< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_4_1" class = "paragraph-anchor" > < / a > < b > § 10.4.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Feed the preamble for the superlative phrase into the lexer< / span > < span class = "named-paragraph-number" > 10.4.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > " To decide which object is %N ( S - description of objects ) "< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > superlative< / span > < span class = "plain-syntax" > ));< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Sentences::make_node< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (),< / span >
2020-05-12 12:00:53 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Feeds::feed_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "character-syntax" > ':'< / span > < span class = "plain-syntax" > );< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > )< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10_4" > § 10.4< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_4_2" class = "paragraph-anchor" > < / a > < b > § 10.4.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Feed the body of the superlative phrase into the lexer< / span > < span class = "named-paragraph-number" > 10.4.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > " (- {-primitive-definition:extremal%s%W} -) "< / span > < span class = "plain-syntax" > ,< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-ma.html#SP4" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::strict_comparison< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > name_of_property_to_compare< / span > < span class = "plain-syntax" > );< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Sentences::make_node< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > Feeds::feed_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > ), < / span > < span class = "character-syntax" > '.'< / span > < span class = "plain-syntax" > );< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TEMP< / span > < span class = "plain-syntax" > )< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10_4" > § 10.4< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10_5" class = "paragraph-anchor" > < / a > < b > § 10.5. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Create the adjectival meaning arising from this measurement< / span > < span class = "named-paragraph-number" > 10.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > adjective_meaning< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > am< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Adjectives::Meanings::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > MEASUREMENT_KADJ< / span > < span class = "plain-syntax" > ,< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > STORE_POINTER_measurement_definition< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > q< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > headword_as_adjective< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > am< / span > < span class = "plain-syntax" > ;< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Adjectives::Meanings::declare< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > am< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > AW< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 3< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Adjectives::Meanings::pass_task_to_support_routine< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > am< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TEST_ADJECTIVE_TASK< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Adjectives::Meanings::set_domain_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > am< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > DNW< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP10" > § 10< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::ADJ_compiling_soon< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > adjective_meaning< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > am< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold_evaluated< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > property_schema_written< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i6_schema< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > sch< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Adjectives::Meanings::set_i6_schema< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > headword_as_adjective< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TEST_ADJECTIVE_TASK< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > );< / span >
2020-08-22 00:38:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Calculus::Schemas::modify< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > sch< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%n(*1)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > mdef_iname< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > property_schema_written< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::ADJ_compile< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > T< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > emit_flag< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > ph_stack_frame< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > phsf< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::ADJ_assert< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > infs_to_assert_on< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val_to_assert_on< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parity< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-ma.html#SP7" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::validate< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "3-ma.html#SP8" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::is_valid< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > parity< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > )) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < s-literal> (mdef-> < / span > < span class = "element-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "literal unreadable"< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 00:53:43 +02:00
< span class = "plain-syntax" > < / span > < a href = "5-inf.html#SP7" class = "function-link" > < span class = "function-syntax" > World::Inferences::draw_property< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > infs_to_assert_on< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::ADJ_index< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. Support routines for measurement. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-26 12:52:50 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::compile_MADJ_routines< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > property_schema_written< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Routines::begin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > mdef_iname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > local_variable< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > lv< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > LocalVariables::add_call_parameter< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Frames::current_stack_frame< / span > < span class = "plain-syntax" > (),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > ,< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Adjectives::Meanings::get_domain< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > headword_as_adjective< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lvalues::new_LOCAL_VARIABLE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > EMPTY_WORDING< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > lv< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > evaluated_prop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Lvalues::new_PROPERTY_VALUE< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Rvalues::from_property< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > var< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 01:13:45 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < s-literal> (mdef-> < / span > < span class = "element-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > )) < / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > = < / span > < span class = "function-syntax" > < < rp> > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "literal unreadable"< / span > < span class = "plain-syntax" > );< / span >
2020-08-23 14:00:56 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > pcalc_prop< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Atoms::binary_PREDICATE_new< / span > < span class = "plain-syntax" > (< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-ma.html#SP4" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::weak_comparison_bp< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > ),< / span >
2020-08-23 14:00:56 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Terms::new_constant< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > evaluated_prop< / span > < span class = "plain-syntax" > ),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Terms::new_constant< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val< / span > < span class = "plain-syntax" > ));< / span >
2020-08-24 21:30:28 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Propositions::Checker::type_check< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Propositions::Checker::tc_problem_reporting< / span > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_threshold_text< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "be giving the boundary of the definition"< / span > < span class = "plain-syntax" > )) == < / span > < span class = "identifier-syntax" > ALWAYS_MATCH< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_primitive< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > IF_BIP< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Calculus::Deferrals::emit_test_of_proposition< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > prop< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::code< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::rtrue< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::rfalse< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Routines::end< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. Comparative forms. < / b > For timing reasons, these are made all at once, and later than when the headword
2019-03-17 14:40:57 +02:00
adjectives and superlatives are made.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::create_comparatives< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > Properties::Measurement::create_comparatives< / span > < / span > :< br / > Comparative Relations - < a href = "3-cr.html#SP2" > § 2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > measurement_definition< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-ma.html#SP7" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::validate< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < a href = "3-ma.html#SP8" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::is_valid< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > != < / span > < span class = "constant-syntax" > MEASURE_T_EXACTLY< / span > < span class = "plain-syntax" > )) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > H< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > headword< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > word number of, e.g., "tall"< / span >
2020-05-13 01:33:17 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > comparative_form< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Grading::make_comparative< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > H< / span > < span class = "plain-syntax" > ,< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Task::language_of_syntax< / span > < span class = "plain-syntax" > ()); < / span > < span class = "comment-syntax" > "taller than"< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vocabulary_entry< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > quiddity< / span > < span class = "plain-syntax" > =< / span >
2020-05-13 01:33:17 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span >
2020-08-26 12:52:50 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Grading::make_quiddity< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > H< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Task::language_of_syntax< / span > < span class = "plain-syntax" > ()))); < / span > < span class = "comment-syntax" > "tallness"< / span >
2020-08-22 00:38:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > i6_schema< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > schema_to_compare_property_values< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP13_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Work out property comparison schema< / span > < span class = "named-paragraph-number" > 13.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-ma.html#SP13_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Construct a BP named for the quiddity and tested using the comparative schema< / span > < span class = "named-paragraph-number" > 13.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13_1" class = "paragraph-anchor" > < / a > < b > § 13.1. < / b > This schema compares the property values:
2019-03-17 14:40:57 +02:00
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Work out property comparison schema< / span > < span class = "named-paragraph-number" > 13.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > = < / span > < a href = "3-prp.html#SP26" class = "function-link" > < span class = "function-syntax" > Properties::iname< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > char< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > operation< / span > < span class = "plain-syntax" > = < / span > < a href = "3-ma.html#SP4" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::strict_comparison< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > schema_to_compare_property_values< / span > < span class = "plain-syntax" > =< / span >
2020-08-22 00:38:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Calculus::Schemas::new< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "(*1.%n %s *2.%n)"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > operation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > identifier< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP13" > § 13< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13_2" class = "paragraph-anchor" > < / a > < b > § 13.2. < / b > The relation arising from "tall" would be called the "tallness relation", for
2020-04-14 19:56:54 +03:00
instance. Note that we don't say anything about the domain of \(x\) and \(y\)
in \(T(x, y)\). That's because we a value property like "height" may exist
2019-03-17 14:40:57 +02:00
for more than one kind of object, and there is not necessarily any unifying
2020-04-14 19:56:54 +03:00
kind of value \(K\) such all objects satisfying \(K\) possess a height and all
2019-03-17 14:40:57 +02:00
others do not. (That's intentional: it is Inform's one concession towards
multiple-inheritance, and it allows containers and doors to share lockability
behaviour despite being of mutually incompatible kinds.)
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Construct a BP named for the quiddity and tested using the comparative schema< / span > < span class = "named-paragraph-number" > 13.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-20 01:36:18 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > binary_predicate< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > bp< / span > < span class = "plain-syntax" > ;< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TEMPORARY_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relname< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WRITE_TO< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relname< / span > < span class = "plain-syntax" > , < / span > < span class = "string-syntax" > "%V"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > quiddity< / span > < span class = "plain-syntax" > );< / span >
2020-08-20 13:50:43 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bp< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > BinaryPredicates::make_pair< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > property_comparison_bp_family< / span > < span class = "plain-syntax" > ,< / span >
2020-09-03 01:24:10 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > BPTerms::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > BPTerms::new< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ),< / span >
2020-08-22 00:38:20 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > schema_to_compare_property_values< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > WordAssemblages::lit_1< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > quiddity< / span > < span class = "plain-syntax" > ));< / span >
2020-06-28 01:18:54 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > DISCARD_TEXT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relname< / span > < span class = "plain-syntax" > )< / span >
2021-02-06 20:00:34 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-cr.html#SP2" class = "function-link" > < span class = "function-syntax" > Properties::ComparativeRelations::initialise< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bp< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > region_shape< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > mdef< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > prop< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-ma.html#SP14" class = "function-link" > < span class = "function-syntax" > Properties::Measurement::register_comparative< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > comparative_form< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bp< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-06 20:00:34 +02:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-ma.html#SP13" > § 13< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. Late registration of prepositions comparing properties. < / b > The following routines, used only when all the properties have been
2019-03-17 14:40:57 +02:00
created, make suitable comparatives ("bigger than", etc.) and
prepositional usages to test property-equality ("the same height as").
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-06 20:00:34 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Properties::Measurement::register_comparative< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > Properties::Measurement::register_comparative< / span > < / span > :< br / > < a href = "3-ma.html#SP13_2" > § 13.2< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > binary_predicate< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > root< / span > < span class = "plain-syntax" > ) {< / span >
2020-07-04 16:17:00 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > verb_meaning< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vm< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > VerbMeanings::regular< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > root< / span > < span class = "plain-syntax" > );< / span >
2020-06-30 01:41:10 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > preposition< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prep< / span > < span class = "plain-syntax" > =< / span >
2020-05-22 11:38:17 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Prepositions::make< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PreformUtilities::merge< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < comparative-property-construction> < / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ,< / span >
2020-07-11 01:25:00 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > WordAssemblages::lit_1< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Lexer::word< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Wordings::first_wn< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )))), < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > current_sentence< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Verbs::add_form< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > copular_verb< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > prep< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > vm< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > SVO_FS_BIT< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. < / b > When the source text creates a measurement adjective, such as:
2019-03-17 14:40:57 +02:00
< / p >
< blockquote >
< p > A man is tall if his height is 6 feet or more.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > Inform also creates a comparative form of the adjective as a preposition:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 01:13:45 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < comparative-property-construction> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2021-02-06 20:00:34 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > than< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-comment-syntax" > Peter is taller than Claude< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-17 13:51:27 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. < / b > And when Inform creates a value property, that also makes a preposition:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-09 01:13:45 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < same-property-as-construction> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
2021-02-06 20:00:34 +02:00
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > the< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > same< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ...< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > as< / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-comment-syntax" > if Peter is the same height as Claude< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-17 13:51:27 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2021-02-12 00:53:43 +02:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "3-cr.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-km.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-ins.html" > 2< / a > < / li > < li class = "progresscurrentchapter" > 3< / li > < li class = "progresssection" > < a href = "3-prp.html" > prp< / a > < / li > < li class = "progresssection" > < a href = "3-ep.html" > ep< / a > < / li > < li class = "progresssection" > < a href = "3-vp.html" > vp< / a > < / li > < li class = "progresssection" > < a href = "3-ps.html" > ps< / a > < / li > < li class = "progresssection" > < a href = "3-cp.html" > cp< / a > < / li > < li class = "progresssection" > < a href = "3-ia.html" > ia< / a > < / li > < li class = "progresssection" > < a href = "3-tpr.html" > tpr< / a > < / li > < li class = "progresssection" > < a href = "3-cr.html" > cr< / a > < / li > < li class = "progresscurrent" > ma< / li > < li class = "progresssection" > < a href = "3-spr.html" > spr< / a > < / li > < li class = "progresssection" > < a href = "3-spr2.html" > spr2< / a > < / li > < li class = "progresssection" > < a href = "3-pov.html" > pov< / a > < / li > < li class = "progresssection" > < a href = "3-epv.html" > epv< / a > < / li > < li class = "progresschapter" > < a href = "4-is.html" > 4< / a > < / li > < li class = "progresschapter" > < a href = "5-pp.html" > 5< / a > < / li > < li class = "progressnext" > < a href = "3-spr.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-03-17 14:40:57 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >
