2020-01-26 01:42:42 +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 > Adjectival Definitions< / 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" >
2020-01-26 01:42:42 +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" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2020-01-26 01:42:42 +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 >
2022-04-04 20:31:44 +03:00
< ul > < li > < a href = "../index.html" > home< / a > < / li >
< / ul > < h2 > Compiler< / h2 > < ul >
< li > < a href = "../structure.html" > structure< / a > < / li >
< li > < a href = "../inbuildn.html" > inbuild< / a > < / li >
< li > < a href = "../inform7n.html" > inform7< / a > < / li >
< li > < a href = "../intern.html" > inter< / a > < / li >
< li > < a href = "../services.html" > services< / a > < / li >
2022-04-18 17:46:46 +03:00
< li > < a href = "../secrets.html" > secrets< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Other Tools< / h2 > < ul >
< li > < a href = "../inblorbn.html" > inblorb< / a > < / li >
< li > < a href = "../indocn.html" > indoc< / a > < / li >
< li > < a href = "../inform6.html" > inform6< / a > < / li >
< li > < a href = "../inpolicyn.html" > inpolicy< / a > < / li >
< li > < a href = "../inrtpsn.html" > inrtps< / a > < / li >
2022-04-18 17:46:46 +03:00
< / ul > < h2 > Resources< / h2 > < ul >
< li > < a href = "../extensions.html" > extensions< / a > < / li >
< li > < a href = "../kits.html" > kits< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Repository< / h2 > < ul >
< li > < a href = "https://github.com/ganelson/inform" > < img src = "../docs-assets/github.png" height = 18 > github< / a > < / li >
< / ul > < h2 > Related Projects< / h2 > < ul >
2022-05-01 00:32:10 +03:00
< li > < a href = "../../../inweb/index.html" > inweb< / a > < / li >
< li > < a href = "../../../intest/index.html" > intest< / a > < / li >
2020-03-19 02:11:25 +02:00
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 'Adjectival Definitions' generated by Inweb -->
< div class = "breadcrumbs" >
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../extensions.html" > Extensions< / a > < / li > < li > < a href = "index.html" > basicinform< / a > < / li > < li > < b > Adjectival Definitions< / b > < / li > < / ul > < / div >
< p class = "purpose" > All the built-in adjectives on Basic Inform, from even and odd (for numbers) to symmetric (for relations).< / p >
2020-01-26 01:42:42 +02:00
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > See test case < span class = "extract" > < span class = "extract-syntax" > BIP-Adjectives< / span > < / span > .
2020-01-26 01:42:42 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > Part< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Four< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > Adjectival< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Definitions< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Section< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > Miscellaneous< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Useful< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Adjectives< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > even< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > odd< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > remainder< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > after< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > dividing< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > by< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > .< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > positive< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > greater< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > zero< / span > < span class = "plain-syntax" > .< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > negative< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > less< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > zero< / span > < span class = "plain-syntax" > .< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "TEXT_TY_Empty"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > contains< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > no< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > characters< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substituted< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > unsubstituted< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "TEXT_TY_IsSubstituted"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > any< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > square< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > bracketed< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > substitutions< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > in< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > have< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > been< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > made< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > table< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > of< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > filled< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rows< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > in< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > .< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > table< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > full< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > full< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > of< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > blank< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rows< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > in< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > .< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rulebook< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RulebookEmpty"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > contains< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > no< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rules< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > following< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > does< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nothing< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > no< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > decision< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > an< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > activity< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "ActivityEmpty"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > its< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > before< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > for< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > after< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rulebooks< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > are< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > all< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > ).< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > an< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > activity< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > going< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > on< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "TestActivity"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > one< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > of< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > its< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > three< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rulebooks< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > currently< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > being< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > run< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > list< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > of< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > values< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "LIST_OF_TY_Empty"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > contains< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > no< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > entries< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > use< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > option< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > active< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inactive< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "TestUseOption"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > has< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > been< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > requested< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > in< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > source< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > text< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > verb< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > modal< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > modal< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "VerbIsModal"< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > modifies< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > likelihood< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > of< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > another< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > verb< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > happening< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > being< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > meaningful< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > itself< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > verb< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > meaningful< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > meaningless< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span > < span class = "plain-syntax" > < / span > < span class = "string-syntax" > "VerbIsMeaningful"< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > has< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > meaning< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > in< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inform< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > as< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > existing< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > only< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > be< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > printed< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > out< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > See test case < span class = "extract" > < span class = "extract-syntax" > BIP-RelationAdjectives-G< / span > < / span > .
2020-01-26 01:42:42 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > Section< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > Adjectives< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > for< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Relations< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > equivalence< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_EquivalenceAdjective"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > an< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > equivalence< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relates< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > in< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > groups< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > symmetric< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_SymmetricAdjective"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > symmetric< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > '< / span > < span class = "identifier-syntax" > s< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > always< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > true< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > related< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > only< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > related< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_OToOAdjective"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > any< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > given< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > can< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relate< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > only< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vice< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > versa< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_OToVAdjective"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > various< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > any< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > given< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > has< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > only< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > such< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relates< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_VToOAdjective"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > one< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > any< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > given< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relates< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > only< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_VToVAdjective"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > various< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > there< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > are< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > no< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > limitations< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > on< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > how< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > many< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > X< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > can< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relate< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > given< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Y< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > or< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > vice< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > versa< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > non< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > empty< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "RELATION_TY_Empty"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > makes< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > does< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > not< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relate< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > any< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > values< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > that< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > x< / span > < span class = "plain-syntax" > ,< / span > < span class = "identifier-syntax" > y< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > false< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > for< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > all< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > x< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > y< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. < / b > See test case < span class = "extract" > < span class = "extract-syntax" > BIP-RealAdjectives-G< / span > < / span > .
2020-01-26 01:42:42 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > Section< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 3< / span > < span class = "plain-syntax" > - < / span > < span class = "identifier-syntax" > Adjectives< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > for< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Real< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Numbers< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > not< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > for< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Z< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > machine< / span > < span class = "plain-syntax" > )< / span >
2020-04-07 03:06:09 +03:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > real< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > positive< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > greater< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > zero< / span > < span class = "plain-syntax" > .< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > real< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > negative< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > less< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > zero< / span > < span class = "plain-syntax" > .< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > real< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > infinite< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > finite< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > plus< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > infinity< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > or< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > minus< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > infinity< / span > < span class = "plain-syntax" > .< / span >
< span class = "identifier-syntax" > Definition< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > a< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > real< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > number< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > nonexistent< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > rather< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > than< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > existent< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > if< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > I6< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > routine< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "REAL_NUMBER_TY_Nan"< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > says< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > so< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > results< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > from< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > an< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > impossible< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > calculation< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > like< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > square< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > root< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > of< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > minus< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > one< / span > < span class = "plain-syntax" > ).< / span >
2020-01-26 01:42:42 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > And so, at last...
2020-01-26 01:42:42 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > Basic< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inform< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ends< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > here< / span > < span class = "plain-syntax" > .< / span >
2020-01-26 01:42:42 +02:00
< / pre >
2020-08-27 17:50:24 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > ...except that this is not quite true, because like most extensions it
2020-01-26 01:42:42 +02:00
then quotes some documentation for Inform to weave into index pages: though
here it's more of a polite refusal than a manual, since the entire system
documentation is really the description of what was defined in this
extension.
< / p >
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" > DOCUMENTATION< / span > < span class = "plain-syntax" > ----< / span >
2020-01-26 01:42:42 +02:00
2020-05-03 03:01:21 +03:00
< span class = "identifier-syntax" > Unlike< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > other< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > extensions< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Basic< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inform< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > is< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > compulsorily< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > included< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > with< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > every< / span >
< span class = "identifier-syntax" > project< / span > < span class = "plain-syntax" > . < / span > < span class = "identifier-syntax" > It< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > defines< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > phrases< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > kinds< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > relations< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > which< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > are< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > basic< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > to< / span >
< span class = "identifier-syntax" > Inform< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > and< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > which< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > are< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > described< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > throughout< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > the< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > documentation< / span > < span class = "plain-syntax" > .< / span >
2020-01-26 01:42:42 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
< ul class = "progressbar" > < li class = "progressprev" > < a href = "S-pd.html" > ❮ < / a > < / li > < li class = "progresssection" > < a href = "S-prm.html" > prm< / a > < / li > < li class = "progresssection" > < a href = "S-md.html" > md< / a > < / li > < li class = "progresssection" > < a href = "S-pd.html" > pd< / a > < / li > < li class = "progresscurrent" > ad< / li > < li class = "progressnextoff" > ❯ < / li > < / ul > < / div >
< / nav > <!-- End of weave -->
2020-01-26 01:42:42 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2020-01-26 01:42:42 +02:00
< / body >
< / html >