inform-class

[DORMANT] the products of a summer text adventures course
git clone git://git.figbert.com/inform-class.git
Log | Files | Refs | README | LICENSE

Contents.html (51907B)


      1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
      2 <html>
      3 <head><meta http-equiv="content-type" content="text/html; charset=UTF-8">
      4     <style type="text/css">
      5     <!--
      6         *, *:before, *:after {
      7             -moz-box-sizing: border-box;
      8             -webkit-box-sizing: border-box;
      9             box-sizing: border-box;
     10         }
     11         h3.tighter {
     12             margin-top: 0px;
     13         }
     14         p.hang {
     15             padding-left: 25px;
     16             text-indent: -25px;
     17             margin-top: 0px;
     18             margin-bottom: 0px;
     19         }
     20         p.in1 {
     21             padding-left: 0px;
     22         }
     23         p.tightin1 {
     24             padding-left: 0px;
     25             margin-top: 2px;
     26             margin-bottom: 2px;
     27         }
     28         p.halftightin1 {
     29             padding-left: 0px;
     30             margin-bottom: 2px;
     31         }
     32         p.hangingin1 {
     33             padding-left: 50px;
     34             text-indent: -50px;
     35             margin-top: 0px;
     36             margin-bottom: 1px;
     37         }
     38         p.in2 {
     39             padding-left: 25px;
     40         }
     41         p.tightin2 {
     42             padding-left: 25px;
     43             margin-top: 2px;
     44             margin-bottom: 2px;
     45         }
     46         p.halftightin2 {
     47             padding-left: 25px;
     48             margin-bottom: 2px;
     49         }
     50         p.hangingin2 {
     51             padding-left: 75px;
     52             text-indent: -50px;
     53             margin-top: 0px;
     54             margin-bottom: 1px;
     55         }
     56         p.in3 {
     57             padding-left: 50px;
     58         }
     59         p.tightin3 {
     60             padding-left: 50px;
     61             margin-top: 2px;
     62             margin-bottom: 2px;
     63         }
     64         p.halftightin3 {
     65             padding-left: 50px;
     66             margin-bottom: 2px;
     67         }
     68         p.hangingin3 {
     69             padding-left: 100px;
     70             text-indent: -50px;
     71             margin-top: 0px;
     72             margin-bottom: 1px;
     73         }
     74         p.in4 {
     75             padding-left: 75px;
     76         }
     77         p.tightin4 {
     78             padding-left: 75px;
     79             margin-top: 2px;
     80             margin-bottom: 2px;
     81         }
     82         p.halftightin4 {
     83             padding-left: 75px;
     84             margin-bottom: 2px;
     85         }
     86         p.hangingin4 {
     87             padding-left: 125px;
     88             text-indent: -50px;
     89             margin-top: 0px;
     90             margin-bottom: 1px;
     91         }
     92         p.in5 {
     93             padding-left: 100px;
     94         }
     95         p.tightin5 {
     96             padding-left: 100px;
     97             margin-top: 2px;
     98             margin-bottom: 2px;
     99         }
    100         p.halftightin5 {
    101             padding-left: 100px;
    102             margin-bottom: 2px;
    103         }
    104         p.hangingin5 {
    105             padding-left: 150px;
    106             text-indent: -50px;
    107             margin-top: 0px;
    108             margin-bottom: 1px;
    109         }
    110         p.in6 {
    111             padding-left: 125px;
    112         }
    113         p.tightin6 {
    114             padding-left: 125px;
    115             margin-top: 2px;
    116             margin-bottom: 2px;
    117         }
    118         p.halftightin6 {
    119             padding-left: 125px;
    120             margin-bottom: 2px;
    121         }
    122         p.hangingin6 {
    123             padding-left: 175px;
    124             text-indent: -50px;
    125             margin-top: 0px;
    126             margin-bottom: 1px;
    127         }
    128         p.in7 {
    129             padding-left: 150px;
    130         }
    131         p.tightin7 {
    132             padding-left: 150px;
    133             margin-top: 2px;
    134             margin-bottom: 2px;
    135         }
    136         p.halftightin7 {
    137             padding-left: 150px;
    138             margin-bottom: 2px;
    139         }
    140         p.hangingin7 {
    141             padding-left: 200px;
    142             text-indent: -50px;
    143             margin-top: 0px;
    144             margin-bottom: 1px;
    145         }
    146         p.in8 {
    147             padding-left: 175px;
    148         }
    149         p.tightin8 {
    150             padding-left: 175px;
    151             margin-top: 2px;
    152             margin-bottom: 2px;
    153         }
    154         p.halftightin8 {
    155             padding-left: 175px;
    156             margin-bottom: 2px;
    157         }
    158         p.hangingin8 {
    159             padding-left: 225px;
    160             text-indent: -50px;
    161             margin-top: 0px;
    162             margin-bottom: 1px;
    163         }
    164         p.in9 {
    165             padding-left: 200px;
    166         }
    167         p.tightin9 {
    168             padding-left: 200px;
    169             margin-top: 2px;
    170             margin-bottom: 2px;
    171         }
    172         p.halftightin9 {
    173             padding-left: 200px;
    174             margin-bottom: 2px;
    175         }
    176         p.hangingin9 {
    177             padding-left: 250px;
    178             text-indent: -50px;
    179             margin-top: 0px;
    180             margin-bottom: 1px;
    181         }
    182         div.hr {
    183             border: 0;
    184             width: 100%;
    185             color: #707070;
    186             background-color: #707070;
    187             height: 5px;
    188         }
    189         .headingbox {
    190          position: relative;
    191          height: 56px;
    192          padding: 0px;
    193          white-space:nowrap;
    194          background: #eeeeee;  /* grey */
    195         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    196         -webkit-font-smoothing: antialiased;
    197          }
    198         .headingboxhigh {
    199          position: relative;
    200          height: 117px;
    201          padding: 0px;
    202          white-space:nowrap;
    203          background: #eeeeee;  /* grey */
    204         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    205         -webkit-font-smoothing: antialiased;
    206          }
    207         .headingboxSucceeded {
    208          position: relative;
    209          height: 56px;
    210          padding: 0px;
    211          white-space:nowrap;
    212          background: #E6FFE6;  /* green */
    213         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    214         -webkit-font-smoothing: antialiased;
    215          }
    216         .headingboxFailed {
    217          position: relative;
    218          height: 56px;
    219          padding: 0px;
    220          white-space:nowrap;
    221          background: #f69Ca6;  /* red */
    222         font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    223         -webkit-font-smoothing: antialiased;
    224          }
    225         .headingtext {
    226         	position: absolute;
    227         	top: -4px;
    228         	left: -1px;
    229         	width: 100%;
    230         	color: #222222;
    231         	padding: 14px 10px 0px 10px;
    232         	font-size: 20px;
    233         	font-weight: bold;
    234         }
    235         .headingrubric {
    236         	position: absolute;
    237         	top: 36px;
    238         	width: 100%;
    239         	color: #222222;
    240         	padding: 0px 10px 0px 10px;
    241         	font-size: 11px;
    242         	font-weight: bold;
    243         }
    244     -->
    245 </style>
    246 <script type="text/javascript">
    247     function project() {
    248         if ("Project" in window) return window.Project;
    249         return external.Project;
    250         }
    251         function showExtra(id, imid) {
    252             if (document.getElementById(id).style.display == 'block') {
    253                 document.getElementById(id).style.display = 'none';
    254                 document.getElementById(imid).src = 'inform:/doc_images/extra.png';
    255             } else {
    256                 document.getElementById(id).style.display = 'block';
    257                 document.getElementById(imid).src = 'inform:/doc_images/extraclose.png';
    258             }
    259         }
    260         function showBasic(id) {
    261             if (document.getElementById(id).style.display == '') {
    262                 document.getElementById(id).style.display = 'none';
    263             } else {
    264                 document.getElementById(id).style.display = '';
    265             }
    266         }
    267         function showResp(id, imid) {
    268             if (document.getElementById(id)) {
    269                 if (document.getElementById(id).style.display == 'block') {
    270                     document.getElementById(id).style.display = 'none';
    271                     document.getElementById(imid).src = 'inform:/doc_images/responses.png';
    272                 } else {
    273                     document.getElementById(id).style.display = 'block';
    274                     document.getElementById(imid).src = 'inform:/doc_images/responsesclose.png';
    275                 }
    276             }
    277         }
    278         function showAllResp() {
    279             for (var i=0;i<354;i++) {
    280                 showResp('extra'+(1000000+i), 'plus'+(1000000+i));
    281             }
    282         }
    283     </script>
    284     <style type="text/css" media="screen, print">
    285     p {
    286     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    287     }
    288 
    289     .box a:link { text-decoration: none; }
    290     .box a:visited { text-decoration: none; }
    291     .box a:active { text-decoration: none; }
    292     .box a:hover { text-decoration: none; color: #444444; }
    293 
    294     .smallbox a:link { text-decoration: none; }
    295     .smallbox a:visited { text-decoration: none; }
    296     .smallbox a:active { text-decoration: none; }
    297     .smallbox a:hover { text-decoration: none; color: #444444; }
    298 
    299     .symbol {
    300     	position: absolute;
    301     	top: -4px;
    302     	left: -1px;
    303     	width: 100%;
    304     	color: #ffffff;
    305     	padding: 14px 0px 14px 1px;
    306     	font-size: 20px;
    307     	font-weight: bold;
    308     	text-align: center;
    309     }
    310     .indexno {
    311     	position: absolute;
    312     	top: 1px;
    313     	left: 3px;
    314     	color: #ffffff;
    315     	font-size: 7pt;
    316     	text-align: left;
    317     }
    318     .rubric {
    319     	position: absolute;
    320     	top: 35px;
    321     	width: 100%;
    322     	color: #ffffff;
    323     	font-size: 9px;
    324     	font-weight: bold;
    325     	text-align: center;
    326     }
    327 
    328     .box {
    329      position: relative;
    330      height: 56px;
    331      width: 56px;
    332      padding: 0px;
    333     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    334     -webkit-font-smoothing: antialiased;
    335     }
    336     .sidebar {
    337      height: 56px;
    338      width: 16px;
    339      background: #888;
    340     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    341     -webkit-font-smoothing: antialiased;
    342     }
    343     .sidebar:hover { background: #222; }
    344 
    345     .smallbox {
    346      position: relative;
    347      height: 40px;
    348      width: 40px;
    349      padding: 0px;
    350     font-family: "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, Verdana, sans-serif;
    351     -webkit-font-smoothing: antialiased;
    352     }
    353 
    354     #box1_1 {
    355      background: #cf0a38;
    356      }
    357     #minibox1_1 {
    358      background: #cf0a38;
    359      }
    360     #box1_2 {
    361      background: #cf0a38;
    362      }
    363     #minibox1_2 {
    364      background: #cf0a38;
    365      }
    366     #box1_3 {
    367      background: #cf0a38;
    368      }
    369     #minibox1_3 {
    370      background: #cf0a38;
    371      }
    372     #box1_4 {
    373      background: #cf0a38;
    374      }
    375     #minibox1_4 {
    376      background: #cf0a38;
    377      }
    378     #box1_5 {
    379      background: #cf0a38;
    380      }
    381     #minibox1_5 {
    382      background: #cf0a38;
    383      }
    384     #box2_1 {
    385      background: #ea5b1f;
    386      }
    387     #minibox2_1 {
    388      background: #ea5b1f;
    389      }
    390     #box2_2 {
    391      background: #ea5b1f;
    392      }
    393     #minibox2_2 {
    394      background: #ea5b1f;
    395      }
    396     #box2_3 {
    397      background: #ea5b1f;
    398      }
    399     #minibox2_3 {
    400      background: #ea5b1f;
    401      }
    402     #box2_4 {
    403      background: #ea5b1f;
    404      }
    405     #minibox2_4 {
    406      background: #ea5b1f;
    407      }
    408     #box2_5 {
    409      background: #ea5b1f;
    410      }
    411     #minibox2_5 {
    412      background: #ea5b1f;
    413      }
    414     #box3_1 {
    415      background: #e9cf08;
    416      }
    417     #minibox3_1 {
    418      background: #e9cf08;
    419      }
    420     #box3_2 {
    421      background: #e9cf08;
    422      }
    423     #minibox3_2 {
    424      background: #e9cf08;
    425      }
    426     #box3_3 {
    427      background: #e9cf08;
    428      }
    429     #minibox3_3 {
    430      background: #e9cf08;
    431      }
    432     #box4_1 {
    433      background: #52992f;
    434      }
    435     #minibox4_1 {
    436      background: #52992f;
    437      }
    438     #box4_2 {
    439      background: #52992f;
    440      }
    441     #minibox4_2 {
    442      background: #52992f;
    443      }
    444     #box4_3 {
    445      background: #52992f;
    446      }
    447     #minibox4_3 {
    448      background: #52992f;
    449      }
    450     #box4_4 {
    451      background: #52992f;
    452      }
    453     #minibox4_4 {
    454      background: #52992f;
    455      }
    456     #box5_1 {
    457      background: #1d31b4;
    458      }
    459     #minibox5_1 {
    460      background: #1d31b4;
    461      }
    462     #box5_2 {
    463      background: #1d31b4;
    464      }
    465     #minibox5_2 {
    466      background: #1d31b4;
    467      }
    468     #box6_1 {
    469      background: #001860;
    470      }
    471     #minibox6_1 {
    472      background: #001860;
    473      }
    474     #box6_2 {
    475      background: #001860;
    476      }
    477     #minibox6_2 {
    478      background: #001860;
    479      }
    480     #box6_3 {
    481      background: #001860;
    482      }
    483     #minibox6_3 {
    484      background: #001860;
    485      }
    486     #box7_1 {
    487      background: #8b58bf;
    488      }
    489     #minibox7_1 {
    490      background: #8b58bf;
    491      }
    492     #box7_2 {
    493      background: #8b58bf;
    494      }
    495     #minibox7_2 {
    496      background: #8b58bf;
    497      }
    498     #box8_1 {
    499      background: #111111;
    500      }
    501     #minibox8_1 {
    502      background: #111111;
    503      }
    504 
    505     ul.leaders {
    506         padding: 0;
    507         margin-top: 1px;
    508         margin-bottom: 0;
    509         overflow-x: hidden;
    510         list-style: none}
    511     ul.leaders li.leaded:before {
    512         float: left;
    513         width: 0;
    514         white-space: nowrap;
    515         content:
    516     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    517     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    518     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    519     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    520     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    521     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    522     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    523     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    524     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "
    525     	".  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  "}
    526     ul.leaders li.leaded span:first-child {
    527         padding-right: 0.33em;
    528         background: white}
    529     ul.leaders li.leaded span + span {
    530         float: right;
    531         padding-left: 0.33em;
    532         background: white}
    533     li.indent1 span:first-child {
    534         padding-left: 25px;
    535     }
    536     li.indent2 span:first-child {
    537         padding-left: 50px;
    538     }
    539     li.indent3 span:first-child {
    540         padding-left: 75px;
    541     }
    542     li.indent4 span:first-child {
    543         padding-left: 100px;
    544     }
    545     li.indent5 span:first-child {
    546         padding-left: 125px;
    547     }
    548     li.indent6 span:first-child {
    549         padding-left: 150px;
    550     }
    551     li.indent7 span:first-child {
    552         padding-left: 175px;
    553     }
    554     li.indent8 span:first-child {
    555         padding-left: 200px;
    556     }
    557     li.indent9 span:first-child {
    558         padding-left: 225px;
    559     }
    560 
    561     li.unleaded:before {
    562     	content: "";
    563     }
    564     </style>
    565     <script type="text/javascript">
    566     var qq; window.onload = function() {
    567         if (location.search.length > 0) {
    568             qq = location.search.substring(1, location.search.length);
    569             show_only_one_element(qq);
    570         }
    571     }
    572     function click_element_box(id) {
    573         if (document.getElementById(id).style.display == 'none') {
    574             show_only_one_element(id);
    575         } else {
    576             var x = 0;
    577             if (document.getElementById('segment1').style.display == '') { x++; }
    578             if (document.getElementById('segment2').style.display == '') { x++; }
    579             if (document.getElementById('segment3').style.display == '') { x++; }
    580             if (document.getElementById('segment4').style.display == '') { x++; }
    581             if (document.getElementById('segment5').style.display == '') { x++; }
    582             if (x == 1) { show_all_elements(); }
    583             else { show_only_one_element(id); }
    584         }
    585     }
    586     function click_sidebar() {
    587         if (document.getElementById('surround0').style.display == 'none') {
    588             enter_periodic_table();
    589         } else {
    590             show_all_elements();
    591         }
    592     }
    593     function show_all_elements() {
    594         show_element('segment1');
    595         light_up('segment1');
    596         show_element('segment2');
    597         light_up('segment2');
    598         show_element('segment3');
    599         light_up('segment3');
    600         show_element('segment4');
    601         light_up('segment4');
    602         show_element('segment5');
    603         light_up('segment5');
    604     	}
    605     function show_only_one_element(id) {
    606         hide_element('segment1');
    607         light_down('segment1');
    608         hide_element('segment2');
    609         light_down('segment2');
    610         hide_element('segment3');
    611         light_down('segment3');
    612         hide_element('segment4');
    613         light_down('segment4');
    614         hide_element('segment5');
    615         light_down('segment5');
    616         show_element(id);
    617         light_up(id);
    618     }
    619     function enter_periodic_table() {
    620         hide_element('segment1');
    621         light_up('segment1');
    622         hide_element('segment2');
    623         light_up('segment2');
    624         hide_element('segment3');
    625         light_up('segment3');
    626         hide_element('segment4');
    627         light_up('segment4');
    628         hide_element('segment5');
    629         light_up('segment5');
    630     }
    631     function show_element(id) {
    632         document.getElementById(id).style.display = '';
    633     }
    634     function hide_element(id) {
    635         document.getElementById(id).style.display = 'none';
    636     }
    637     function light_up(id) {
    638         var ic = 'box1_1';
    639         if (id == 'segment2') { ic = 'box1_2';}
    640         if (id == 'segment3') { ic = 'box1_3';}
    641         if (id == 'segment4') { ic = 'box1_4';}
    642         if (id == 'segment5') { ic = 'box1_5';}
    643         document.getElementById(ic).style.background = '#cf0a38';
    644     }
    645     function light_down(id) {
    646         var ic = 'box1_1';
    647         if (id == 'segment2') { ic = 'box1_2';}
    648         if (id == 'segment3') { ic = 'box1_3';}
    649         if (id == 'segment4') { ic = 'box1_4';}
    650         if (id == 'segment5') { ic = 'box1_5';}
    651         document.getElementById(ic).style.background = '#cccccc';
    652     }
    653     </script>
    654 </head>
    655 <body>
    656     <script language="JavaScript">function pasteCode(code) { var myProject = project(); myProject.selectView('source'); myProject.pasteCode(code); }</script>
    657     <font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>
    658     <!--CONTENT BEGINS-->
    659     <div id="periodictable">
    660     <table cellspacing="3" border="0" width="100%">
    661     <tr id="surround1"><td onclick="window.location='Welcome.html'; return false;"><div class="sidebar"></div></td><td onclick="click_element_box('segment1'); return false;"><div id="box1_1" class="box">
    662     <a class="symbol" title="Contents" href="#">C</a>
    663     <div class="indexno">1</div>
    664     <div class="rubric">Contents</div>
    665     </div>
    666     </td><td onclick="click_element_box('segment2'); return false;"><div id="box1_2" class="box">
    667     <a class="symbol" title="Card" href="#">Cd</a>
    668     <div class="indexno">2</div>
    669     <div class="rubric">Card</div>
    670     </div>
    671     </td><td onclick="click_element_box('segment3'); return false;"><div id="box1_3" class="box">
    672     <a class="symbol" title="Tables" href="#">Tb</a>
    673     <div class="indexno">3</div>
    674     <div class="rubric">Tables</div>
    675     </div>
    676     </td><td onclick="click_element_box('segment4'); return false;"><div id="box1_4" class="box">
    677     <a class="symbol" title="Figures" href="#">Fi</a>
    678     <div class="indexno">4</div>
    679     <div class="rubric">Figures</div>
    680     </div>
    681     </td><td onclick="click_element_box('segment5'); return false;"><div id="box1_5" class="box">
    682     <a class="symbol" title="Innards" href="#">In</a>
    683     <div class="indexno">5</div>
    684     <div class="rubric">Innards</div>
    685     </div>
    686     </td><td onclick="show_all_elements(); return false;" style="width:100%">
    687     <div class="headingbox">
    688     	<div class="headingtext">Contents Index</div>
    689     	<div class="headingrubric">Like the preliminary pages of a book</div>
    690     </div></td>
    691     </tr></table></div><div id="segment1">
    692     <hr><table cellspacing="3" border="0" style="background:#eeeeee;"><tr>
    693     <td valign="top" align="left">
    694     <div id="minibox1_1" class="smallbox">
    695     <a class="symbol" title="Contents" href="#" onclick="click_element_box('segment1'); return false;">C</a>
    696     <div class="indexno">1</div>
    697     </div>
    698     </td>
    699     <td style="width:100%;" align="left" valign="top">
    700     <p style="margin-top:0px;padding-top:0px;margin-bottom:0px;padding-bottom:0px;line-height:150%;"><b>Contents</b> &mdash; 
    701     Like the contents page of a book.<br><i>About headings&nbsp;&nbsp;<a href=inform:/doc14.html><img border=0 src=inform:/doc_images/help.png></a>; About extensions&nbsp;&nbsp;<a href=inform:/doc430.html><img border=0 src=inform:/doc_images/help.png></a></i></p>
    702     </td>
    703     </tr></table>
    704     <p><b>Challenge Three by FIGBERT</b></p><p>CONTENTS</p><ul class="leaders">
    705     <li class="leaded indent1"><span>Source text</span><span>397 words&nbsp;<a href="source:story.ni#line1"><img border=0 src=inform:/doc_images/Reveal.tif></a></span></li></ul>
    706     <p class="hangingin2"><font color="#808080"><i>person condition</i>, <i>sad</i>, <i>happy</i>, <i>the default is sad</i>, <i>Example Location</i>, <i>Jonny</i>, <i>Example Location - East</i>, <i>button</i></font></p>
    707     <p>(This would look more like a contents page if the source text were divided up into headings.&nbsp;<a href=inform:/doc14.html><img border=0 src=inform:/doc_images/help.png></a>)</p>
    708     <p>EXTENSIONS</p>
    709     <p class="hangingin2"><font color="#888">Included automatically by Inform</font></p><ul class="leaders"><li class="leaded indent2"><span>Standard Rules <a href='inform://Extensions/Extensions/Graham%20Nelson/Standard%20Rules.html' title="Standard Rules by Graham Nelson" STYLE="text-decoration: none"><img border=0 src=inform:/doc_images/help.png></a> <small>version 3/120430</small></span><span>42655 words</span></li></ul>
    710     <ul class="leaders"><li class="leaded indent2"><span>English Language <a href='inform://Extensions/Extensions/Graham%20Nelson/English%20Language.html' title="English Language by Graham Nelson" STYLE="text-decoration: none"><img border=0 src=inform:/doc_images/help.png></a> by Graham Nelson <small>version 1</small></span><span>2297 words</span></li></ul>
    711     <p></p></div>
    712     <div id="segment2">
    713     <hr><table cellspacing="3" border="0" style="background:#eeeeee;"><tr>
    714     <td valign="top" align="left">
    715     <div id="minibox1_2" class="smallbox">
    716     <a class="symbol" title="Card" href="#" onclick="click_element_box('segment2'); return false;">Cd</a>
    717     <div class="indexno">2</div>
    718     </div>
    719     </td>
    720     <td style="width:100%;" align="left" valign="top">
    721     <p style="margin-top:0px;padding-top:0px;margin-bottom:0px;padding-bottom:0px;line-height:150%;"><b>Card</b> &mdash; 
    722     How this project might be filed in a library catalogue.<br><i>About the Library Card&nbsp;&nbsp;<a href=inform:/doc399.html><img border=0 src=inform:/doc_images/help.png></a>; About IFIDs&nbsp;&nbsp;<a href=inform:/doc400.html><img border=0 src=inform:/doc_images/help.png></a></i></p>
    723     </td>
    724     </tr></table>
    725     <p><a name=LCARD></a><table border="0" cellspacing="3" cellpadding="3"  style="background-image:url('inform:/bg_images/indexcard.png');"><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#833">Story title</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#833"><b>Challenge Three</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Story author</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>FIGBERT</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Story headline</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>An Interactive Fiction</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Story genre</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>Fiction</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Release number</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>1</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Story creation year</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>(This year)</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Language of play</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>English</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">IFID number</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>CFEB9C49-9037-4593-B230-C9F950ED3A03</b></font></font></td></tr><tr><td style="white-space:nowrap;" align="left" valign="top" height="20"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333">Story description</font>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><font face="courier" size=2 color="#333"><b>None</b></font></font></td></tr></table></p></div>
    726     <div id="segment3">
    727     <hr><table cellspacing="3" border="0" style="background:#eeeeee;"><tr>
    728     <td valign="top" align="left">
    729     <div id="minibox1_3" class="smallbox">
    730     <a class="symbol" title="Tables" href="#" onclick="click_element_box('segment3'); return false;">Tb</a>
    731     <div class="indexno">3</div>
    732     </div>
    733     </td>
    734     <td style="width:100%;" align="left" valign="top">
    735     <p style="margin-top:0px;padding-top:0px;margin-bottom:0px;padding-bottom:0px;line-height:150%;"><b>Tables</b> &mdash; 
    736     Tables of information in the source text.<br><i>About tables&nbsp;&nbsp;<a href=inform:/doc246.html><img border=0 src=inform:/doc_images/help.png></a></i></p>
    737     </td>
    738     </tr></table>
    739     <p></p><p><a href="#" onclick="showExtra('extra2', 'plus2'); return false;"><img border=0 id="plus2" src=inform:/doc_images/extra.png></a>&nbsp;Show tables inside extensions (there are none in the main text)</p><div id="extra2" style="display: none;"><p class="in1"><table width="100%" cellpadding="0" cellspacing="0" border="0" style="background-color: #e0e0e0"><tr><td width="8"><img src="inform:/bg_images/tl_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td><td></td><td width="8"><img src="inform:/bg_images/tr_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td></tr><tr><td width="8"></td><td><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><i>Standard Rules</i></p><p><table border="0" cellspacing="0" cellpadding="0"><tr><td style="padding-top: 3px;" align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><b>Table of Final Question Options</b>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td style="padding-top: 3px;" align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><i><small>5 columns x 5 rows</small></i></font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 1:&nbsp;&nbsp;final question wording&nbsp;<a href="javascript:pasteCode('final question wording entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of texts</font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 2:&nbsp;&nbsp;only if victorious&nbsp;<a href="javascript:pasteCode('only if victorious entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of truth states</font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 3:&nbsp;&nbsp;topic&nbsp;<a href="javascript:pasteCode('topic entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of topics</font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 4:&nbsp;&nbsp;final response rule&nbsp;<a href="javascript:pasteCode('final response rule entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of rules</font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 5:&nbsp;&nbsp;final response activity&nbsp;<a href="javascript:pasteCode('final response activity entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of activities</font></td></tr><tr><td style="padding-top: 3px;" align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><b>Table of Locale Priorities</b>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td style="padding-top: 3px;" align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><i><small>2 columns x 4 rows (3 blank, one for each thing)</small></i></font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 1:&nbsp;&nbsp;notable-object&nbsp;<a href="javascript:pasteCode('notable-object entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of objects</font></td></tr><tr><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>&nbsp;&nbsp;col 2:&nbsp;&nbsp;locale description priority&nbsp;<a href="javascript:pasteCode('locale description priority entry')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;&nbsp;&nbsp;&nbsp;</font></td><td align="left" valign="top"><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2>of numbers</font></td></tr></table></font></td><td width="8"></td></tr><tr><td width="8"><img src="inform:/bg_images/bl_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td><td></td><td width="8"><img src="inform:/bg_images/br_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td></tr></table></div>
    740     </p></div>
    741     <div id="segment4">
    742     <hr><table cellspacing="3" border="0" style="background:#eeeeee;"><tr>
    743     <td valign="top" align="left">
    744     <div id="minibox1_4" class="smallbox">
    745     <a class="symbol" title="Figures" href="#" onclick="click_element_box('segment4'); return false;">Fi</a>
    746     <div class="indexno">4</div>
    747     </div>
    748     </td>
    749     <td style="width:100%;" align="left" valign="top">
    750     <p style="margin-top:0px;padding-top:0px;margin-bottom:0px;padding-bottom:0px;line-height:150%;"><b>Figures</b> &mdash; 
    751     The figures, sound effects or external files used.<br><i>About figures&nbsp;&nbsp;<a href=inform:/doc376.html><img border=0 src=inform:/doc_images/help.png></a>; About sounds&nbsp;&nbsp;<a href=inform:/doc379.html><img border=0 src=inform:/doc_images/help.png></a>; About files&nbsp;&nbsp;<a href=inform:/doc383.html><img border=0 src=inform:/doc_images/help.png></a></i></p>
    752     </td>
    753     </tr></table>
    754     <p>There are no figures, or illustrations, in this project.</p><p>There are no sound effects in this project.</p><p>This project doesn't read or write external files.</p></div>
    755     <div id="segment5">
    756     <hr><table cellspacing="3" border="0" style="background:#eeeeee;"><tr>
    757     <td valign="top" align="left">
    758     <div id="minibox1_5" class="smallbox">
    759     <a class="symbol" title="Innards" href="#" onclick="click_element_box('segment5'); return false;">In</a>
    760     <div class="indexno">5</div>
    761     </div>
    762     </td>
    763     <td style="width:100%;" align="left" valign="top">
    764     <p style="margin-top:0px;padding-top:0px;margin-bottom:0px;padding-bottom:0px;line-height:150%;"><b>Innards</b> &mdash; 
    765     Technicalities about the story file being produced.<br><i>About the story file&nbsp;&nbsp;<a href=inform:/doc23.html><img border=0 src=inform:/doc_images/help.png></a>; About use options&nbsp;&nbsp;<a href=inform:/doc21.html><img border=0 src=inform:/doc_images/help.png></a></i></p>
    766     </td>
    767     </tr></table>
    768     <a name=STORYFILE></a><p>Story file format: <img border=0 src=inform:/doc_images/vm_glulx.png>&nbsp;Glulx</p><p>The following use options are in force:</p><p class="tightin2"><font color="#888">Set from the Standard Rules:</font></p><p class="tightin3">Use dynamic memory allocation of at least 8192&nbsp;<a href="javascript:pasteCode('Use dynamic memory allocation of at least 16384.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;<i>Double this</i></p><p class="tightin3">Use maximum things understood at once of at least 100&nbsp;<a href="javascript:pasteCode('Use maximum things understood at once of at least 200.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;<i>Double this</i></p><p>Whereas these are not in force:</p><p class="tightin2"><span style="white-space:nowrap";><a href="javascript:pasteCode('Use ineffectual.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;ineffectual</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use American dialect.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;American dialect</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use serial comma.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;serial comma</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use full-length room descriptions.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;full-length room descriptions</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use abbreviated room descriptions.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;abbreviated room descriptions</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use memory economy.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;memory economy</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use scoring.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;scoring</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use no scoring.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;no scoring</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use engineering notation.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;engineering notation</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use unabbreviated object names.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;unabbreviated object names</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use command line echoing.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;command line echoing</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use manual pronouns.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;manual pronouns</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use undo prevention.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;undo prevention</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use predictable randomisation.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;predictable randomisation</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use fast route-finding.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;fast route-finding</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use slow route-finding.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;slow route-finding</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use numbered rules.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;numbered rules</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use telemetry recordings.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;telemetry recordings</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use no deprecated features.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;no deprecated features</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use gn testing version.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;gn testing version</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use VERBOSE room descriptions.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;VERBOSE room descriptions</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use BRIEF room descriptions.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;BRIEF room descriptions</span>, <span style="white-space:nowrap";><a href="javascript:pasteCode('Use SUPERBRIEF room descriptions.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;SUPERBRIEF room descriptions</span></p><p><a href="#" onclick="showExtra('extra3', 'plus3'); return false;"><img border=0 id="plus3" src=inform:/doc_images/extra.png></a>&nbsp;See some technicalities for Inform maintainers only</p><div id="extra3" style="display: none;"><p class="in2"><table width="100%" cellpadding="0" cellspacing="0" border="0" style="background-color: #e0e0e0"><tr><td width="8"><img src="inform:/bg_images/tl_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td><td></td><td width="8"><img src="inform:/bg_images/tr_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td></tr><tr><td width="8"></td><td><font face="lucida grande,geneva,arial,tahoma,verdana,helvetica,helv" size=2><p><a name=CONFIG></a>Inform language definition:<p>Included: core, naming, instance counting, command, actions, spatial model, mapping, player, regions, backdrops, showme, times of day, scenes, figures, sounds, glulx external files, bibliographic data<p>Excluded: <i>none</i><p>
    769     <p>Debugging log:</p><p><a href="javascript:pasteCode('Include action creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include action creations in the debugging log.<br><a href="javascript:pasteCode('Include action pattern compilation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include action pattern compilation in the debugging log.<br><a href="javascript:pasteCode('Include action pattern parsing in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include action pattern parsing in the debugging log.<br><a href="javascript:pasteCode('Include assemblies in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include assemblies in the debugging log.<br><a href="javascript:pasteCode('Include assertions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include assertions in the debugging log.<br><a href="javascript:pasteCode('Include case insensitive filehandling in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include case insensitive filehandling in the debugging log.<br><a href="javascript:pasteCode('Include conditions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include conditions in the debugging log.<br><a href="javascript:pasteCode('Include constructed past participles in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include constructed past participles in the debugging log.<br><a href="javascript:pasteCode('Include constructed plurals in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include constructed plurals in the debugging log.<br><a href="javascript:pasteCode('Include debugging log contents in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include debugging log contents in the debugging log.<br><a href="javascript:pasteCode('Include debugging log inclusions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include debugging log inclusions in the debugging log.<br><a href="javascript:pasteCode('Include description compilation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include description compilation in the debugging log.<br><a href="javascript:pasteCode('Include excerpt meanings in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include excerpt meanings in the debugging log.<br><a href="javascript:pasteCode('Include excerpt parsing in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include excerpt parsing in the debugging log.<br><a href="javascript:pasteCode('Include expressions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include expressions in the debugging log.<br><a href="javascript:pasteCode('Include extensions census in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include extensions census in the debugging log.<br><a href="javascript:pasteCode('Include figure creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include figure creations in the debugging log.<br><a href="javascript:pasteCode('Include grammar in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include grammar in the debugging log.<br><a href="javascript:pasteCode('Include grammar construction in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include grammar construction in the debugging log.<br><a href="javascript:pasteCode('Include headings in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include headings in the debugging log.<br><a href="javascript:pasteCode('Include implications in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include implications in the debugging log.<br><a href="javascript:pasteCode('Include inferences in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include inferences in the debugging log.<br><a href="javascript:pasteCode('Include kind changes in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include kind changes in the debugging log.<br><a href="javascript:pasteCode('Include kind checking in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include kind checking in the debugging log.<br><a href="javascript:pasteCode('Include kind creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include kind creations in the debugging log.<br><a href="javascript:pasteCode('Include lexical output in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include lexical output in the debugging log.<br><a href="javascript:pasteCode('Include local variables in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include local variables in the debugging log.<br><a href="javascript:pasteCode('Include matching in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include matching in the debugging log.<br><a href="javascript:pasteCode('Include meaning list allocation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include meaning list allocation in the debugging log.<br><a href="javascript:pasteCode('Include memory allocation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include memory allocation in the debugging log.<br><a href="javascript:pasteCode('Include noun resolution in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include noun resolution in the debugging log.<br><a href="javascript:pasteCode('Include object compilation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include object compilation in the debugging log.<br><a href="javascript:pasteCode('Include object creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include object creations in the debugging log.<br><a href="javascript:pasteCode('Include object tree in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include object tree in the debugging log.<br><a href="javascript:pasteCode('Include phrase comparisons in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include phrase comparisons in the debugging log.<br><a href="javascript:pasteCode('Include phrase compilation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include phrase compilation in the debugging log.<br><a href="javascript:pasteCode('Include phrase creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include phrase creations in the debugging log.<br><a href="javascript:pasteCode('Include phrase registration in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include phrase registration in the debugging log.<br><a href="javascript:pasteCode('Include phrase usage in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include phrase usage in the debugging log.<br><a href="javascript:pasteCode('Include predicate calculus in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include predicate calculus in the debugging log.<br><a href="javascript:pasteCode('Include predicate calculus workings in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include predicate calculus workings in the debugging log.<br><a href="javascript:pasteCode('Include pronouns in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include pronouns in the debugging log.<br><a href="javascript:pasteCode('Include property creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include property creations in the debugging log.<br><a href="javascript:pasteCode('Include property provision in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include property provision in the debugging log.<br><a href="javascript:pasteCode('Include property translations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include property translations in the debugging log.<br><a href="javascript:pasteCode('Include relation definitions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include relation definitions in the debugging log.<br><a href="javascript:pasteCode('Include rule attachments in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include rule attachments in the debugging log.<br><a href="javascript:pasteCode('Include rulebook compilation in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include rulebook compilation in the debugging log.<br><a href="javascript:pasteCode('Include spatial map in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include spatial map in the debugging log.<br><a href="javascript:pasteCode('Include spatial map workings in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include spatial map workings in the debugging log.<br><a href="javascript:pasteCode('Include specification permissions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include specification permissions in the debugging log.<br><a href="javascript:pasteCode('Include specification usage in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include specification usage in the debugging log.<br><a href="javascript:pasteCode('Include specificities in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include specificities in the debugging log.<br><a href="javascript:pasteCode('Include table construction in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include table construction in the debugging log.<br><a href="javascript:pasteCode('Include template reading in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include template reading in the debugging log.<br><a href="javascript:pasteCode('Include text substitutions in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include text substitutions in the debugging log.<br><a href="javascript:pasteCode('Include time periods in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include time periods in the debugging log.<br><a href="javascript:pasteCode('Include variable creations in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include variable creations in the debugging log.<br><a href="javascript:pasteCode('Include verifications in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include verifications in the debugging log.<br><a href="javascript:pasteCode('Include vocabulary in the debugging log.')"><img border=0 src=inform:/doc_images/paste.png></a>&nbsp;Include vocabulary in the debugging log.<br></font></td><td width="8"></td></tr><tr><td width="8"><img src="inform:/bg_images/bl_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td><td></td><td width="8"><img src="inform:/bg_images/br_corner_e0e0e0.gif" width="8" height="8" border="0" alt="..." /></td></tr></table></div>
    770     </div>
    771     <hr>
    772 
    773     <!--CONTENT ENDS-->
    774     </font>
    775 </body>
    776 </html>