ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-06-26 12:10:44 +03:00
Code Issues Projects Releases Wiki Activity

Introduced can't insert what's already inserted rule

Browse source
This commit is contained in:
Graham Nelson 2022-04-12 20:04:46 +01:00
parent 4e3d771b8f
commit 9f2a6dab18
8 changed files with 189 additions and 196 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

84
inform7/Figures/memory-diagnostics.txt
View file

@ -1,73 +1,73 @@
Total memory consumption was 126253K = 123 MB
Total memory consumption was 126294K = 123 MB
---- was used for 2008180 objects, in 360856 frames in 0 x 800K = 0K = 0 MB:
---- was used for 2009238 objects, in 361118 frames in 0 x 800K = 0K = 0 MB:
32.3% inter_tree_node_array 58 x 8192 = 475136 objects, 41813824 bytes
18.9% text_stream_array 4343 x 100 = 434300 objects, 24459776 bytes
18.7% linked_list 43280 objects, 24236800 bytes
18.9% text_stream_array 4346 x 100 = 434600 objects, 24476672 bytes
18.7% linked_list 43320 objects, 24259200 bytes
10.8% inter_symbol_array 132 x 1024 = 135168 objects, 14061696 bytes
10.2% inter_error_stash_array 101 x 1024 = 103424 objects, 13241504 bytes
8.0% parse_node 129463 objects, 10357040 bytes
8.0% parse_node 129588 objects, 10367040 bytes
5.7% verb_conjugation 160 objects, 7425280 bytes
4.2% parse_node_annotation_array 345 x 500 = 172500 objects, 5531040 bytes
4.2% parse_node_annotation_array 346 x 500 = 173000 objects, 5547072 bytes
2.6% pcalc_prop_array 25 x 1000 = 25000 objects, 3400800 bytes
2.4% inter_name_array 67 x 1000 = 67000 objects, 3218144 bytes
2.0% kind_array 66 x 1000 = 66000 objects, 2642112 bytes
1.5% inter_name_generator_array 51 x 1000 = 51000 objects, 2041632 bytes
1.5% inter_schema_token 13959 objects, 2010096 bytes
1.4% package_request 21137 objects, 1860056 bytes
1.5% inter_schema_token 13964 objects, 2010816 bytes
1.4% package_request 21149 objects, 1861112 bytes
1.3% vocabulary_entry_array 161 x 100 = 16100 objects, 1808352 bytes
1.1% match_trie_array 11 x 1000 = 11000 objects, 1496352 bytes
1.1% inter_symbols_table 26571 objects, 1487976 bytes
1.1% inter_symbols_table 26586 objects, 1488816 bytes
1.0% i6_schema_array 23 x 100 = 2300 objects, 1380736 bytes
0.9% inter_package 26571 objects, 1275408 bytes
0.9% inter_package 26586 objects, 1276128 bytes
0.9% dict_entry_array 386 x 100 = 38600 objects, 1247552 bytes
0.8% map_data 670 objects, 1125600 bytes
0.8% id_body 941 objects, 1076504 bytes
0.8% id_body 942 objects, 1077648 bytes
0.7% adjective_meaning 202 objects, 1000304 bytes
0.7% excerpt_meaning 3100 objects, 967200 bytes
0.7% excerpt_meaning 3101 objects, 967512 bytes
0.6% production 3876 objects, 899232 bytes
0.6% ptoken 8392 objects, 872768 bytes
0.6% grammatical_usage 3611 objects, 866640 bytes
0.6% individual_form 2561 objects, 860496 bytes
0.6% inter_schema_node 8914 objects, 855744 bytes
0.6% grammatical_usage 3612 objects, 866880 bytes
0.6% individual_form 2562 objects, 860832 bytes
0.6% inter_schema_node 8917 objects, 856032 bytes
0.4% unary_predicate_array 16 x 1000 = 16000 objects, 640512 bytes
0.3% scan_directory 112 objects, 462336 bytes
0.3% local_variable_array 47 x 100 = 4700 objects, 452704 bytes
0.3% verb_usage 1128 objects, 388032 bytes
0.2% rule 469 objects, 367696 bytes
0.2% rule 470 objects, 368480 bytes
0.2% verb_form 386 objects, 348944 bytes
0.2% dictionary 6620 objects, 317760 bytes
0.2% noun 2380 objects, 285600 bytes
0.2% compilation_subtask 3346 objects, 267680 bytes
0.2% dictionary 6626 objects, 318048 bytes
0.2% noun 2381 objects, 285720 bytes
0.2% compilation_subtask 3349 objects, 267920 bytes
0.2% inter_annotation_array 2 x 8192 = 16384 objects, 262208 bytes
0.2% inference_subject 665 objects, 260680 bytes
0.1% vanilla_function 3679 objects, 235456 bytes
0.1% vanilla_function 3682 objects, 235648 bytes
0.1% binary_predicate 321 objects, 169488 bytes
0.1% hierarchy_location 1122 objects, 161568 bytes
0.1% linguistic_stock_item 3316 objects, 159168 bytes
0.1% rule_family_data 400 objects, 147200 bytes
0.1% linguistic_stock_item 3317 objects, 159216 bytes
0.1% rule_family_data 401 objects, 147568 bytes
0.1% nonterminal 760 objects, 139840 bytes
0.1% nascent_array 2123 objects, 135872 bytes
0.1% nascent_array 2125 objects, 136000 bytes
---- documentation_ref 1273 objects, 112024 bytes
---- inference 1703 objects, 108992 bytes
---- imperative_defn 1377 objects, 99144 bytes
---- noun_usage 2402 objects, 96080 bytes
---- imperative_defn 1379 objects, 99288 bytes
---- noun_usage 2403 objects, 96120 bytes
---- anl_entry_array 2 x 1000 = 2000 objects, 96064 bytes
---- preposition 273 objects, 87360 bytes
---- inter_schema 1510 objects, 84560 bytes
---- lexical_cluster 2517 objects, 80544 bytes
---- inter_schema 1511 objects, 84616 bytes
---- lexical_cluster 2518 objects, 80576 bytes
---- pcalc_term_array 2 x 1000 = 2000 objects, 80064 bytes
---- kind_variable_declaration 1652 objects, 79296 bytes
---- kind_variable_declaration 1655 objects, 79440 bytes
---- inter_tree 6 objects, 79248 bytes
---- label_namespace 1468 objects, 70464 bytes
---- label_namespace 1472 objects, 70656 bytes
---- rulebook 407 objects, 68376 bytes
---- spatial_data 670 objects, 64320 bytes
---- linked_list_item_array 4 x 1000 = 4000 objects, 64128 bytes
---- kind_macro_definition 9 objects, 62280 bytes
---- booking 860 objects, 61920 bytes
---- actions_rcd_data 1882 objects, 60224 bytes
---- scenes_rcd_data 1882 objects, 60224 bytes
---- booking 861 objects, 61992 bytes
---- actions_rcd_data 1884 objects, 60288 bytes
---- scenes_rcd_data 1884 objects, 60288 bytes
---- command_grammar 130 objects, 58240 bytes
---- kind_constructor 77 objects, 57904 bytes
---- table 7 objects, 56672 bytes
@ -75,9 +75,9 @@ Total memory consumption was 126253K = 123 MB
---- cg_line 230 objects, 53360 bytes
---- cg_token 603 objects, 53064 bytes
---- property_inference_data 1315 objects, 52600 bytes
---- response_message 407 objects, 52096 bytes
---- response_message 408 objects, 52224 bytes
---- ap_clause_array 2 x 400 = 800 objects, 51264 bytes
---- text_substitution 436 objects, 41856 bytes
---- text_substitution 437 objects, 41952 bytes
---- activity_list_array 1 x 1000 objects, 40032 bytes
---- anl_clause_array 1 x 1000 objects, 40032 bytes
---- to_family_data 497 objects, 39760 bytes
@ -89,7 +89,7 @@ Total memory consumption was 126253K = 123 MB
---- regions_data 670 objects, 32160 bytes
---- HTML_tag_array 1 x 1000 objects, 32032 bytes
---- property_permission 96 objects, 31488 bytes
---- stack_frame_box 304 objects, 29184 bytes
---- stack_frame_box 305 objects, 29280 bytes
---- verb_sense 403 objects, 29016 bytes
---- action_pattern_array 7 x 100 = 700 objects, 28224 bytes
---- shared_variable_set_array 6 x 100 = 600 objects, 24192 bytes
@ -99,7 +99,7 @@ Total memory consumption was 126253K = 123 MB
---- action_name 90 objects, 20160 bytes
---- nonlocal_variable 93 objects, 20088 bytes
---- property 146 objects, 19856 bytes
---- timed_rules_rfd_data 400 objects, 19200 bytes
---- timed_rules_rfd_data 401 objects, 19248 bytes
---- method 374 objects, 17952 bytes
---- pcalc_prop_deferral 86 objects, 17888 bytes
---- instance 167 objects, 17368 bytes
@ -237,23 +237,23 @@ Total memory consumption was 126253K = 123 MB
100.0% was used for memory not allocated for objects:
59.2% text stream storage 76567416 bytes in 452276 claims
3.5% dictionary storage 4546560 bytes in 6620 claims
59.2% text stream storage 76602800 bytes in 452575 claims
3.5% dictionary storage 4549632 bytes in 6626 claims
---- sorting 744 bytes in 3 claims
5.5% source text 7200000 bytes in 3 claims
8.3% source text details 10800000 bytes in 2 claims
0.2% documentation fragments 262144 bytes in 1 claim
---- linguistic stock array 81920 bytes in 2 claims
---- small word set array 105600 bytes in 22 claims
3.4% inter symbols storage 4523040 bytes in 27924 claims
12.9% inter bytecode storage 16767432 bytes in 14 claims
3.5% inter symbols storage 4526448 bytes in 27942 claims
12.9% inter bytecode storage 16767632 bytes in 14 claims
4.8% inter links storage 6222976 bytes in 11 claims
0.1% inter tree location list storage 191232 bytes in 32 claims
1.3% instance-of-kind counting 1695204 bytes in 1 claim
---- compilation workspace for objects 21856 bytes in 25 claims
---- lists for type-checking invocations 16000 bytes in 1 claim
---- code generation workspace for objects 1336 bytes in 4 claims
0.2% emitter array storage 279776 bytes in 1995 claims
0.2% emitter array storage 280032 bytes in 1997 claims
-140.-6% was overhead - -181862192 bytes = -177599K = -173 MB
-140.-6% was overhead - -181936520 bytes = -177672K = -173 MB

18
inform7/Figures/preform-summary.txt
View file

@ -1,25 +1,25 @@
<s-literal> hits 2097/23834 nti 14 constraint (none) extremes [1, infinity)
<s-literal> hits 2100/23858 nti 14 constraint (none) extremes [1, infinity)
English:
(@1)<cardinal-number>=1
(hits 171/171) (matched: '100') constraint CS = {r0} extremes [1, 1]
(@1)minus (@2)<cardinal-number>=1
(hits 0/1806) constraint DS = {14} extremes [2, 2]
(hits 0/1808) constraint DS = {14} extremes [2, 2]
(@1)<quoted-text>=1 (@2)( (@3)<response-letter>=2 (@4))
(hits 273/830) (matched: '"[current item from the multiple object list]: [run paragraph on]" ( a )') constraint DS = {14} extremes [4, 4]
(hits 274/831) (matched: '"[current item from the multiple object list]: [run paragraph on]" ( a )') constraint DS = {14} extremes [4, 4]
(@1)<quoted-text>=1
(hits 1564/5543) (matched: 'Represents geographical locations, both indoor
(hits 1566/5549) (matched: 'Represents geographical locations, both indoor
and outdoor, which are not necessarily areas in a building. A player in one
room is mostly unable to sense, or interact with, anything in a different room.
Rooms are arranged in a map.') constraint (none) extremes [1, 1]
<s-literal-real-number>=1
(hits 11/9909) (matched: 'plus infinity') constraint (none) extremes [1, infinity)
(hits 11/9918) (matched: 'plus infinity') constraint (none) extremes [1, infinity)
(@1)<s-literal-truth-state>=1
(hits 78/196) (matched: 'false') constraint CS = {8} extremes [1, 1]
<s-literal-list>=1
(hits 0/3275) constraint DS = {10} extremes [2, infinity)
(hits 0/3279) constraint DS = {10} extremes [2, infinity)
(@1)unicode <s-unicode-character>=1
(hits 0/4180) constraint DS = {14} extremes [2, infinity)
(hits 0/4184) constraint DS = {14} extremes [2, infinity)
<s-literal-time>=1
(hits 0/3737) constraint DW = {11, 12, 13} extremes [2, 5]
(hits 0/3741) constraint DW = {11, 12, 13} extremes [2, 5]
<s-literal-unit-notation>=1
(hits 0/9820) constraint (none) extremes [1, infinity)
(hits 0/9829) constraint (none) extremes [1, infinity)

200
inform7/Figures/syntax-summary.txt
View file

@ -28,8 +28,8 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'asking for information'
UNPARSED_NOUN_NT'out of world'
IMPERATIVE_NT'carry out asking for information' {unit: 4} {imperative definition: 799}
IMPERATIVE_NT'when play begins' {unit: 4} {imperative definition: 800}
IMPERATIVE_NT'carry out asking for information' {unit: 4} {imperative definition: 800}
IMPERATIVE_NT'when play begins' {unit: 4} {imperative definition: 801}
HEADING_NT'section 1 - errands' {heading 5} {under: H5'section 1 - errands'} {unit: 4}
SENTENCE_NT'the current actor is a person which varies' {unit: 4} {classified}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
@ -39,8 +39,8 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'current owner' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: NONLOCAL_VARIABLE_NT'current owner' {nonlocal: 'current owner'(var)person}} {created here}
COMMON_NOUN_NT'person which varies' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'values variable-pointer'-k} {creation: << kind=people variable-pointer(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 801}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 802}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 803}
SENTENCE_NT'a person can be active or passive' {unit: 4} {classified}
VERB_NT'can be' {verb 'be able to be' s/p 3p act IS_TENSE +ve} {special meaning: can-be}
COMMON_NOUN_NT'a person' {refined} {refers: infs'person'} {creation: << kind=person(x) >>} {eval: TEST_VALUE_NT}
@ -56,34 +56,34 @@ ROOT_NT
VERB_NT'are' {verb 'be' 3p p act IS_TENSE +ve}
PROPER_NOUN_NT'character movement rules' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: CONSTANT_NT {kind: rulebook} {rulebook: character movement}} {created here}
COMMON_NOUN_NT'rulebook' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'values based rulebook producing values'-k} {creation: << kind=rulebook(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'the first character movement rule' {unit: 4} {imperative definition: 803}
IMPERATIVE_NT'a character movement rule' {unit: 4} {imperative definition: 804}
IMPERATIVE_NT'the first character movement rule' {unit: 4} {imperative definition: 804}
IMPERATIVE_NT'a character movement rule' {unit: 4} {imperative definition: 805}
IMPERATIVE_NT'to decide whether movement has not yet occurred' {unit: 4} {imperative definition: 806}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 807}
IMPERATIVE_NT'a character movement rule' {unit: 4} {imperative definition: 806}
IMPERATIVE_NT'to decide whether movement has not yet occurred' {unit: 4} {imperative definition: 807}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 808}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 809}
SENTENCE_NT'the shopowner rules is a rulebook' {unit: 4} {classified} {clears pronouns}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'shopowner rules' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: CONSTANT_NT {kind: rulebook} {rulebook: shopowner}} {created here}
COMMON_NOUN_NT'rulebook' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'values based rulebook producing values'-k} {creation: << kind=rulebook(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'a shopowner rule' {unit: 4} {imperative definition: 809}
IMPERATIVE_NT'report someone closing a door when the person asked owns the' {unit: 4} {imperative definition: 810}
IMPERATIVE_NT'report vanessa closing the metal door when the metal door is' {unit: 4} {imperative definition: 811}
IMPERATIVE_NT'a shopowner rule' {unit: 4} {imperative definition: 812}
IMPERATIVE_NT'a shopowner rule' {unit: 4} {imperative definition: 810}
IMPERATIVE_NT'report someone closing a door when the person asked owns the' {unit: 4} {imperative definition: 811}
IMPERATIVE_NT'report vanessa closing the metal door when the metal door is' {unit: 4} {imperative definition: 812}
IMPERATIVE_NT'a shopowner rule' {unit: 4} {imperative definition: 813}
SENTENCE_NT'filing is an action applying to one thing' {unit: 4} {classified}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'filing'
UNPARSED_NOUN_NT'applying to one thing'
IMPERATIVE_NT'before someone filing something which is not carried by the ' {unit: 4} {imperative definition: 813}
IMPERATIVE_NT'carry out someone filing' {unit: 4} {imperative definition: 814}
IMPERATIVE_NT'report someone filing' {unit: 4} {imperative definition: 815}
IMPERATIVE_NT'before someone filing something which is not carried by the ' {unit: 4} {imperative definition: 814}
IMPERATIVE_NT'carry out someone filing' {unit: 4} {imperative definition: 815}
IMPERATIVE_NT'report someone filing' {unit: 4} {imperative definition: 816}
SENTENCE_NT'the shopper rules is a rulebook' {unit: 4} {classified} {clears pronouns}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'shopper rules' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: CONSTANT_NT {kind: rulebook} {rulebook: shopper}} {created here}
COMMON_NOUN_NT'rulebook' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'values based rulebook producing values'-k} {creation: << kind=rulebook(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'a shopper rule' {unit: 4} {imperative definition: 816}
IMPERATIVE_NT'a shopper rule' {unit: 4} {imperative definition: 817}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 818}
IMPERATIVE_NT'a shopper rule' {unit: 4} {imperative definition: 818}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 819}
DEFN_CONT_NT'a room is air-conditioned' {unit: 4}
CODE_BLOCK_NT
CODE_BLOCK_NT {control structure: IF}
@ -141,8 +141,8 @@ ROOT_NT
COMMON_NOUN_NT'artwork' {indefinite 'an' n/m/f nom/acc s} {refined} {creation: << kind=artwork(x) >>} {refers: infs'artwork'} {eval: TEST_VALUE_NT} {created here}
KIND_NT'kind of thing' {refined} {refers: infs'thing'}
COMMON_NOUN_NT'thing' {refined} {refers: infs'thing'} {creation: << kind=thing(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'before printing the name of an artwork' {unit: 4} {imperative definition: 819}
IMPERATIVE_NT'after printing the name of an artwork' {unit: 4} {imperative definition: 820}
IMPERATIVE_NT'before printing the name of an artwork' {unit: 4} {imperative definition: 820}
IMPERATIVE_NT'after printing the name of an artwork' {unit: 4} {imperative definition: 821}
SENTENCE_NT'an artwork can be submitted or reserved' {unit: 4} {classified}
VERB_NT'can be' {verb 'be able to be' s/p 3p act IS_TENSE +ve} {special meaning: can-be}
COMMON_NOUN_NT'an artwork' {refined} {refers: infs'artwork'} {creation: << kind=artwork(x) >>} {eval: TEST_VALUE_NT}
@ -155,49 +155,49 @@ ROOT_NT
COMMON_NOUN_NT'book' {indefinite 'a' n/m/f nom/acc s} {refined} {creation: << kind=book(x) >>} {refers: infs'book'} {eval: TEST_VALUE_NT} {created here}
KIND_NT'kind of artwork' {refined} {refers: infs'artwork'}
COMMON_NOUN_NT'artwork' {refined} {refers: infs'artwork'} {creation: << kind=artwork(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'before someone resolving a book when the person asked is not' {unit: 4} {imperative definition: 821}
IMPERATIVE_NT'carry out someone resolving a book' {unit: 4} {imperative definition: 822}
IMPERATIVE_NT'report someone resolving a book' {unit: 4} {imperative definition: 823}
IMPERATIVE_NT'before listing contents' {unit: 4} {imperative definition: 824}
IMPERATIVE_NT'before grouping together books' {unit: 4} {imperative definition: 825}
IMPERATIVE_NT'before someone resolving a book when the person asked is not' {unit: 4} {imperative definition: 822}
IMPERATIVE_NT'carry out someone resolving a book' {unit: 4} {imperative definition: 823}
IMPERATIVE_NT'report someone resolving a book' {unit: 4} {imperative definition: 824}
IMPERATIVE_NT'before listing contents' {unit: 4} {imperative definition: 825}
IMPERATIVE_NT'before grouping together books' {unit: 4} {imperative definition: 826}
SENTENCE_NT'a stamped envelope is a kind of thing' {unit: 4} {classified} {interpretation of subject: infs'book'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
COMMON_NOUN_NT'stamped envelope' {indefinite 'a' n/m/f nom/acc s} {refined} {creation: << kind=stamped envelope(x) >>} {refers: infs'stamped envelope'} {eval: TEST_VALUE_NT} {created here}
KIND_NT'kind of thing' {refined} {refers: infs'thing'}
COMMON_NOUN_NT'thing' {refined} {refers: infs'thing'} {creation: << kind=thing(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'before someone resolving a stamped envelope when the person ' {unit: 4} {imperative definition: 826}
IMPERATIVE_NT'carry out someone resolving a stamped envelope' {unit: 4} {imperative definition: 827}
IMPERATIVE_NT'report someone resolving a stamped envelope' {unit: 4} {imperative definition: 828}
IMPERATIVE_NT'instead of someone resolving a stamped envelope when the per' {unit: 4} {imperative definition: 829}
IMPERATIVE_NT'before someone resolving a stamped envelope when the person ' {unit: 4} {imperative definition: 827}
IMPERATIVE_NT'carry out someone resolving a stamped envelope' {unit: 4} {imperative definition: 828}
IMPERATIVE_NT'report someone resolving a stamped envelope' {unit: 4} {imperative definition: 829}
IMPERATIVE_NT'instead of someone resolving a stamped envelope when the per' {unit: 4} {imperative definition: 830}
SENTENCE_NT'a dvd is a kind of artwork' {unit: 4} {classified} {interpretation of subject: infs'stamped envelope'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
COMMON_NOUN_NT'dvd' {indefinite 'a' n/m/f nom/acc s} {refined} {creation: << kind=dvd(x) >>} {refers: infs'dvd'} {eval: TEST_VALUE_NT} {created here}
KIND_NT'kind of artwork' {refined} {refers: infs'artwork'}
COMMON_NOUN_NT'artwork' {refined} {refers: infs'artwork'} {creation: << kind=artwork(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'before someone resolving a dvd when the person asked is not ' {unit: 4} {imperative definition: 830}
IMPERATIVE_NT'carry out someone resolving a dvd' {unit: 4} {imperative definition: 831}
IMPERATIVE_NT'report someone resolving a dvd' {unit: 4} {imperative definition: 832}
IMPERATIVE_NT'instead of someone resolving a dvd when the person asked car' {unit: 4} {imperative definition: 833}
IMPERATIVE_NT'before listing contents' {unit: 4} {imperative definition: 834}
IMPERATIVE_NT'before grouping together dvds' {unit: 4} {imperative definition: 835}
IMPERATIVE_NT'before someone resolving a dvd when the person asked is not ' {unit: 4} {imperative definition: 831}
IMPERATIVE_NT'carry out someone resolving a dvd' {unit: 4} {imperative definition: 832}
IMPERATIVE_NT'report someone resolving a dvd' {unit: 4} {imperative definition: 833}
IMPERATIVE_NT'instead of someone resolving a dvd when the person asked car' {unit: 4} {imperative definition: 834}
IMPERATIVE_NT'before listing contents' {unit: 4} {imperative definition: 835}
IMPERATIVE_NT'before grouping together dvds' {unit: 4} {imperative definition: 836}
SENTENCE_NT'approaching is an action applying to one thing' {unit: 4} {classified}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'approaching'
UNPARSED_NOUN_NT'applying to one thing'
IMPERATIVE_NT'carry out someone approaching' {unit: 4} {imperative definition: 836}
IMPERATIVE_NT'carry out someone approaching' {unit: 4} {imperative definition: 837}
SENTENCE_NT'a coupon is a kind of thing' {unit: 4} {classified} {interpretation of subject: infs'dvd'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
COMMON_NOUN_NT'coupon' {indefinite 'a' n/m/f nom/acc s} {refined} {creation: << kind=coupon(x) >>} {refers: infs'coupon'} {eval: TEST_VALUE_NT} {created here}
KIND_NT'kind of thing' {refined} {refers: infs'thing'}
COMMON_NOUN_NT'thing' {refined} {refers: infs'thing'} {creation: << kind=thing(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'carry out someone resolving a coupon' {unit: 4} {imperative definition: 837}
IMPERATIVE_NT'carry out someone resolving a coupon' {unit: 4} {imperative definition: 838}
SENTENCE_NT'the block giving rule is not listed in any rulebook' {unit: 4} {classified}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {rule placement sense: negative} {special meaning: rule-listed-in}
UNPARSED_NOUN_NT'the block giving rule'
UNPARSED_NOUN_NT'in any rulebook'
IMPERATIVE_NT'check giving something to someone ( this is the block player' {unit: 4} {imperative definition: 838}
IMPERATIVE_NT'before someone resolving a coupon when the person asked is n' {unit: 4} {imperative definition: 839}
IMPERATIVE_NT'after someone giving a coupon to vanessa' {unit: 4} {imperative definition: 840}
IMPERATIVE_NT'check giving something to someone ( this is the block player' {unit: 4} {imperative definition: 839}
IMPERATIVE_NT'before someone resolving a coupon when the person asked is n' {unit: 4} {imperative definition: 840}
IMPERATIVE_NT'after someone giving a coupon to vanessa' {unit: 4} {imperative definition: 841}
SENTENCE_NT'infection color is a kind of value' {unit: 4} {classified} {interpretation of subject: infs'coupon'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
COMMON_NOUN_NT'infection color' {refined} {creation: << kind=infection color(x) >>} {refers: infs'object'-k} {eval: TEST_VALUE_NT} {created here}
@ -257,7 +257,7 @@ ROOT_NT
AND_NT',' {refined}
PROPER_NOUN_NT'saffron silk' {refined} {refers: infs'saffron silk'} {eval: CONSTANT_NT'saffron silk' {kind: infection color} {instance: I86'saffron silk'[infection color]} {enumeration: 25}} {created here}
PROPER_NOUN_NT'cookie dough cream' {refined} {refers: infs'cookie dough cream'} {eval: CONSTANT_NT'cookie dough cream' {kind: infection color} {instance: I87'cookie dough cream'[infection color]} {enumeration: 26}} {created here}
IMPERATIVE_NT'to say list of flavors' {unit: 4} {imperative definition: 841}
IMPERATIVE_NT'to say list of flavors' {unit: 4} {imperative definition: 842}
SENTENCE_NT'understand "ask vanessa for [flavored ice cream]" as buying ' {unit: 4} {classified}
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"ask vanessa for [flavored ice cream]"'
@ -270,8 +270,8 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'buying the flavor'
UNPARSED_NOUN_NT'applying to one infection color'
IMPERATIVE_NT'check buying the flavor' {unit: 4} {imperative definition: 842}
IMPERATIVE_NT'carry out buying the flavor' {unit: 4} {imperative definition: 843}
IMPERATIVE_NT'check buying the flavor' {unit: 4} {imperative definition: 843}
IMPERATIVE_NT'carry out buying the flavor' {unit: 4} {imperative definition: 844}
SENTENCE_NT'understand "ice cream" or "cream" or "ice" or "sherbet" or "' {unit: 4} {classified}
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"ice cream" or "cream" or "ice" or "sherbet" or "sorbet"'
@ -305,12 +305,12 @@ ROOT_NT
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'the infection color property'
UNPARSED_NOUN_NT'referring to an ice cream cone'
IMPERATIVE_NT'carry out someone resolving an ice cream cone' {unit: 4} {imperative definition: 844}
IMPERATIVE_NT'instead of someone eating a fresh ice cream cone' {unit: 4} {imperative definition: 845}
IMPERATIVE_NT'report someone eating an ice cream cone' {unit: 4} {imperative definition: 846}
IMPERATIVE_NT'before printing the name of an ice cream cone' {unit: 4} {imperative definition: 847}
IMPERATIVE_NT'carry out someone resolving an ice cream cone' {unit: 4} {imperative definition: 845}
IMPERATIVE_NT'instead of someone eating a fresh ice cream cone' {unit: 4} {imperative definition: 846}
IMPERATIVE_NT'report someone eating an ice cream cone' {unit: 4} {imperative definition: 847}
IMPERATIVE_NT'before printing the name of an ice cream cone' {unit: 4} {imperative definition: 848}
HEADING_NT'section 2 - infection rules' {heading 5} {under: H5'section 2 - infection rules'} {unit: 4}
IMPERATIVE_NT'this is the infection rule' {unit: 4} {imperative definition: 848}
IMPERATIVE_NT'this is the infection rule' {unit: 4} {imperative definition: 849}
SENTENCE_NT'a person can be infected or clean' {unit: 4} {classified}
VERB_NT'can be' {verb 'be able to be' s/p 3p act IS_TENSE +ve} {special meaning: can-be}
COMMON_NOUN_NT'a person' {refined} {refers: infs'person'} {creation: << kind=person(x) >>} {eval: TEST_VALUE_NT}
@ -323,11 +323,11 @@ ROOT_NT
COMMON_NOUN_NT'person' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'person'} {creation: << kind=person(x) >>} {eval: TEST_VALUE_NT}
ALLOWED_NT'has' {refined}
UNPARSED_NOUN_NT'infection color' {indefinite 'an' n/m/f nom/acc s} {refined}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 849}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 850}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 850}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 851}
IMPERATIVE_NT'when play begins' {unit: 4} {imperative definition: 852}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 853}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 852}
IMPERATIVE_NT'when play begins' {unit: 4} {imperative definition: 853}
IMPERATIVE_NT'every turn' {unit: 4} {imperative definition: 854}
SENTENCE_NT'understand "sneeze on [something]" as sneezing on' {unit: 4} {classified}
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"sneeze on [something]"'
@ -336,11 +336,11 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'sneezing on'
UNPARSED_NOUN_NT'applying to one thing'
IMPERATIVE_NT'check sneezing on' {unit: 4} {imperative definition: 854}
IMPERATIVE_NT'carry out sneezing on' {unit: 4} {imperative definition: 855}
IMPERATIVE_NT'carry out someone sneezing on' {unit: 4} {imperative definition: 856}
IMPERATIVE_NT'report sneezing on' {unit: 4} {imperative definition: 857}
IMPERATIVE_NT'report someone sneezing on' {unit: 4} {imperative definition: 858}
IMPERATIVE_NT'check sneezing on' {unit: 4} {imperative definition: 855}
IMPERATIVE_NT'carry out sneezing on' {unit: 4} {imperative definition: 856}
IMPERATIVE_NT'carry out someone sneezing on' {unit: 4} {imperative definition: 857}
IMPERATIVE_NT'report sneezing on' {unit: 4} {imperative definition: 858}
IMPERATIVE_NT'report someone sneezing on' {unit: 4} {imperative definition: 859}
SENTENCE_NT'understand "inject [someone] with [something]" as injecting ' {unit: 4} {classified}
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"inject [someone] with [something]"'
@ -361,10 +361,10 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'injecting it with'
UNPARSED_NOUN_NT'applying to two things'
IMPERATIVE_NT'check injecting it with' {unit: 4} {imperative definition: 859}
IMPERATIVE_NT'carry out injecting it with' {unit: 4} {imperative definition: 860}
IMPERATIVE_NT'after injecting the player with something' {unit: 4} {imperative definition: 861}
IMPERATIVE_NT'report injecting it with' {unit: 4} {imperative definition: 862}
IMPERATIVE_NT'check injecting it with' {unit: 4} {imperative definition: 860}
IMPERATIVE_NT'carry out injecting it with' {unit: 4} {imperative definition: 861}
IMPERATIVE_NT'after injecting the player with something' {unit: 4} {imperative definition: 862}
IMPERATIVE_NT'report injecting it with' {unit: 4} {imperative definition: 863}
HEADING_NT'section 3 - geography' {heading 5} {under: H5'section 3 - geography'} {unit: 4}
INCLUSION_NT'include locksmith by emily short' {unit: 4}
HEADING_NT'version 12 of locksmith by emily short begins here' {heading 0} {under: H0'version 12 of locksmith by emily short begins here'} {includes: Locksmith by Emily Short v12 } {unit: 3}
@ -389,9 +389,9 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'going toward'
UNPARSED_NOUN_NT'applying to one thing'
IMPERATIVE_NT'check going toward' {unit: 4} {imperative definition: 900}
IMPERATIVE_NT'carry out going toward' {unit: 4} {imperative definition: 901}
IMPERATIVE_NT'instead of waiting when the destination of the player is not' {unit: 4} {imperative definition: 902}
IMPERATIVE_NT'check going toward' {unit: 4} {imperative definition: 901}
IMPERATIVE_NT'carry out going toward' {unit: 4} {imperative definition: 902}
IMPERATIVE_NT'instead of waiting when the destination of the player is not' {unit: 4} {imperative definition: 903}
SENTENCE_NT'understand "stop" or "cease" as stopping' {unit: 4} {classified}
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"stop" or "cease"'
@ -400,11 +400,11 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'stopping'
UNPARSED_NOUN_NT'applying to nothing'
IMPERATIVE_NT'carry out stopping' {unit: 4} {imperative definition: 903}
IMPERATIVE_NT'report stopping' {unit: 4} {imperative definition: 904}
IMPERATIVE_NT'after going to an air-conditioned room' {unit: 4} {imperative definition: 905}
IMPERATIVE_NT'after going from an air-conditioned room' {unit: 4} {imperative definition: 906}
IMPERATIVE_NT'instead of listening to an air-conditioned room' {unit: 4} {imperative definition: 907}
IMPERATIVE_NT'carry out stopping' {unit: 4} {imperative definition: 904}
IMPERATIVE_NT'report stopping' {unit: 4} {imperative definition: 905}
IMPERATIVE_NT'after going to an air-conditioned room' {unit: 4} {imperative definition: 906}
IMPERATIVE_NT'after going from an air-conditioned room' {unit: 4} {imperative definition: 907}
IMPERATIVE_NT'instead of listening to an air-conditioned room' {unit: 4} {imperative definition: 908}
SENTENCE_NT'the alfred cralle pool hall is a room' {unit: 4} {classified} {interpretation of subject: infs'person'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'alfred cralle pool hall' {definite 'the' n/m/f s/p nom/acc} {refined} {refers: infs'alfred cralle pool hall'} {eval: CONSTANT_NT'alfred cralle pool hall' {kind: object} {instance: I88'alfred cralle pool hall'} {enumeration: 0}} {created here}
@ -446,7 +446,7 @@ ROOT_NT
PROPER_NOUN_NT'felt door' {definite 'the' n/m/f s/p nom/acc} {refined} {refers: infs'felt door'} {eval: CONSTANT_NT'felt door' {kind: door} {instance: I90'felt door'} {enumeration: 0}}
PROPER_NOUN_NT'description' {refined} {eval: CONSTANT_NT {kind: texts valued property} {property: 'description'=text}}
PROPER_NOUN_NT'"It has a prominent lock, designed for an old-fashioned key.' {refined} {eval: CONSTANT_NT'"It has a prominent lock, designed for an old-fashioned key.' {kind: text}}
IMPERATIVE_NT'after locking a door with something in the presence of an ot' {unit: 4} {imperative definition: 908}
IMPERATIVE_NT'after locking a door with something in the presence of an ot' {unit: 4} {imperative definition: 909}
SENTENCE_NT'nancy johnson memorial square is west of the felt door' {unit: 4} {classified} {interpretation of subject: infs'key to the city'}
VERB_NT'is west of' {verb 'be' 3p s act IS_TENSE +ve} {prep1: west of}
PROPER_NOUN_NT'nancy johnson memorial square' {refined} {refers: infs'nancy johnson memorial square'} {eval: CONSTANT_NT'nancy johnson memorial square' {kind: object} {instance: I92'nancy johnson memorial square'} {enumeration: 0}} {created here}
@ -508,8 +508,8 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'slot' {definite 'the' n/m/f s/p nom/acc} {refined} {refers: infs'slot'} {eval: CONSTANT_NT'slot' {kind: object} {instance: I97'slot'} {enumeration: 0}}
COMMON_NOUN_NT'container' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'container'} {creation: << kind=container(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'carry out inserting something into the slot' {unit: 4} {imperative definition: 909}
IMPERATIVE_NT'report inserting something into the slot' {unit: 4} {imperative definition: 910}
IMPERATIVE_NT'carry out inserting something into the slot' {unit: 4} {imperative definition: 910}
IMPERATIVE_NT'report inserting something into the slot' {unit: 4} {imperative definition: 911}
SENTENCE_NT'hamwi street is northeast of an iron gate' {unit: 4} {classified} {interpretation of subject: infs'slot'}
VERB_NT'is northeast of' {verb 'be' 3p s act IS_TENSE +ve} {prep1: northeast of}
PROPER_NOUN_NT'hamwi street' {refined} {refers: infs'hamwi street'} {eval: CONSTANT_NT'hamwi street' {kind: object} {instance: I98'hamwi street'} {enumeration: 0}} {created here}
@ -533,7 +533,7 @@ ROOT_NT
AND_NT'and' {refined}
ADJECTIVE_NT'lockable' {refined} {predicate: lockable} {creation: << lockable(x) ^ lockable(x) >>}
ADJECTIVE_NT'unlocked' {refined} {predicate: unlocked} {creation: << unlocked(x) ^ unlocked(x) >>}
IMPERATIVE_NT'before printing the name of the iron gate while not opening ' {unit: 4} {imperative definition: 911}
IMPERATIVE_NT'before printing the name of the iron gate while not opening ' {unit: 4} {imperative definition: 912}
SENTENCE_NT'cold comfort ice cream is north of a metal door' {unit: 4} {classified} {interpretation of subject: infs'iron gate'}
VERB_NT'is north of' {verb 'be' 3p s act IS_TENSE +ve} {prep1: north of}
PROPER_NOUN_NT'cold comfort ice cream' {refined} {refers: infs'cold comfort ice cream'} {eval: CONSTANT_NT'cold comfort ice cream' {kind: object} {instance: I100'cold comfort ice cream'} {enumeration: 0}} {created here}
@ -639,8 +639,8 @@ ROOT_NT
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"glass"'
UNPARSED_NOUN_NT'the box'
IMPERATIVE_NT'instead of attacking the closed emergency box' {unit: 4} {imperative definition: 912}
IMPERATIVE_NT'instead of attacking the open emergency box' {unit: 4} {imperative definition: 913}
IMPERATIVE_NT'instead of attacking the closed emergency box' {unit: 4} {imperative definition: 913}
IMPERATIVE_NT'instead of attacking the open emergency box' {unit: 4} {imperative definition: 914}
SENTENCE_NT'the syringe is in the emergency box' {unit: 4} {classified} {interpretation of subject: infs'emergency box'}
VERB_NT'is in' {verb 'be' 3p s act IS_TENSE +ve} {prep1: in}
PROPER_NOUN_NT'syringe' {definite 'the' n/m/f s/p nom/acc} {refined} {refers: infs'syringe'} {eval: CONSTANT_NT'syringe' {kind: object} {instance: I109'syringe'} {enumeration: 0}} {created here}
@ -743,8 +743,8 @@ ROOT_NT
SENTENCE_NT'use full-length room descriptions' {unit: 4} {classified}
VERB_NT'use' {verb 'use' 3p p act IS_TENSE +ve} {special meaning: use}
UNPARSED_NOUN_NT'full-length room descriptions'
IMPERATIVE_NT'after looking in an outdoors room' {unit: 4} {imperative definition: 914}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 915}
IMPERATIVE_NT'after looking in an outdoors room' {unit: 4} {imperative definition: 915}
IMPERATIVE_NT'definition' {unit: 4} {imperative definition: 916}
DEFN_CONT_NT'a door is proximate' {unit: 4}
CODE_BLOCK_NT
CODE_BLOCK_NT {control structure: IF}
@ -765,7 +765,7 @@ ROOT_NT
INVOCATION_NT'yes' {phrase invoked: <no-inter-name>}
INVOCATION_LIST_NT'no' {unit: 4}
INVOCATION_NT'no' {phrase invoked: <no-inter-name>}
IMPERATIVE_NT'before exiting when the player is in an indoors room' {unit: 4} {imperative definition: 916}
IMPERATIVE_NT'before exiting when the player is in an indoors room' {unit: 4} {imperative definition: 917}
SENTENCE_NT'blank is a room' {unit: 4} {classified} {interpretation of subject: infs'key to the city'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'blank' {refined} {refers: infs'blank'} {eval: CONSTANT_NT'blank' {kind: object} {instance: I113'blank'} {enumeration: 0}} {created here}
@ -991,15 +991,15 @@ ROOT_NT
PROPER_NOUN_NT'ned' {refined} {refers: infs'ned'} {eval: CONSTANT_NT'ned' {kind: man} {instance: I166'ned'} {enumeration: 0}}
RELATIONSHIP_NT'owns' {meaning: ownership-r} {refined}
PROPER_NOUN_NT'movie rental' {definite 'the' n/m/f s/p nom/acc} {refined} {refers: infs'movie rental store'} {eval: CONSTANT_NT'movie rental store' {kind: object} {instance: I104'movie rental store'} {enumeration: 0}}
IMPERATIVE_NT'after printing the name of someone ( called target ) while l' {unit: 4} {imperative definition: 917}
IMPERATIVE_NT'after printing the name of someone ( called target ) while l' {unit: 4} {imperative definition: 918}
SENTENCE_NT'the description of a person is usually "[The noun] [if the n' {unit: 4} {classified} {interpretation of subject: infs'ned'}
VERB_NT'is usually' {certainty:likely} {verb 'be' 3p s act IS_TENSE +ve}
X_OF_Y_NT'description of a person' {definite 'the' n/m/f s/p nom/acc} {refined}
COMMON_NOUN_NT'person' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'person'} {creation: << kind=person(x) >>} {eval: TEST_VALUE_NT}
PROPER_NOUN_NT'description' {refined} {eval: CONSTANT_NT {kind: texts valued property} {property: 'description'=text}}
PROPER_NOUN_NT'"[The noun] [if the noun is clean]looks healthy[otherwise]is' {refined} {eval: CONSTANT_NT'"[The noun] [if the noun is clean]looks healthy[otherwise]is' {kind: text}}
IMPERATIVE_NT'after examining another person who is carrying something' {unit: 4} {imperative definition: 918}
IMPERATIVE_NT'when play begins' {unit: 4} {imperative definition: 919}
IMPERATIVE_NT'after examining another person who is carrying something' {unit: 4} {imperative definition: 919}
IMPERATIVE_NT'when play begins' {unit: 4} {imperative definition: 920}
HEADING_NT'section 5 - conversation' {heading 5} {under: H5'section 5 - conversation'} {unit: 4}
SENTENCE_NT'a person has a table name called conversation' {unit: 4} {classified}
VERB_NT'has' {verb 'have' 3p s act IS_TENSE +ve}
@ -1008,8 +1008,8 @@ ROOT_NT
PROPERTYCALLED_NT'called'
UNPARSED_NOUN_NT'table name' {indefinite 'a' n/m/f nom/acc s}
UNPARSED_NOUN_NT'conversation'
IMPERATIVE_NT'instead of asking someone about something' {unit: 4} {imperative definition: 920}
IMPERATIVE_NT'instead of telling someone about something' {unit: 4} {imperative definition: 921}
IMPERATIVE_NT'instead of asking someone about something' {unit: 4} {imperative definition: 921}
IMPERATIVE_NT'instead of telling someone about something' {unit: 4} {imperative definition: 922}
SENTENCE_NT'understand "recap" or "recall" or "review" as recalling conv' {unit: 4} {classified}
VERB_NT'understand' {verb 'understand' 3p p act IS_TENSE +ve} {prep2: as} {special meaning: understand-as}
UNPARSED_NOUN_NT'"recap" or "recall" or "review"'
@ -1018,7 +1018,7 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve} {special meaning: new-action}
UNPARSED_NOUN_NT'recalling conversations'
UNPARSED_NOUN_NT'applying to nothing'
IMPERATIVE_NT'carry out recalling conversations' {unit: 4} {imperative definition: 922}
IMPERATIVE_NT'carry out recalling conversations' {unit: 4} {imperative definition: 923}
SENTENCE_NT'the conversation of a person is usually table of general chi' {unit: 4} {classified} {interpretation of subject: infs'person'}
VERB_NT'is usually' {certainty:likely} {verb 'be' 3p s act IS_TENSE +ve}
X_OF_Y_NT'conversation of a person' {definite 'the' n/m/f s/p nom/acc} {refined}
@ -1033,7 +1033,7 @@ ROOT_NT
PROPER_NOUN_NT'conversation' {refined} {eval: CONSTANT_NT {kind: table names valued property} {property: 'conversation'=table name}}
PROPER_NOUN_NT'table of vanessa chatter' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: CONSTANT_NT'table of vanessa chatter' {kind: table name} {table: table_data} {meaning: {table of vanessa chatter = TABLE_MC}}}
TABLE_NT'table of vanessa chatter topic reply summary turn stamp char' {unit: 4}
IMPERATIVE_NT'after reading a command' {unit: 4} {imperative definition: 923}
IMPERATIVE_NT'after reading a command' {unit: 4} {imperative definition: 924}
HEADING_NT'section 6 - movement description' {heading 5} {under: H5'section 6 - movement description'} {unit: 4}
SENTENCE_NT'a person has some text called walk style' {unit: 4} {classified}
VERB_NT'has' {verb 'have' 3p s act IS_TENSE +ve}
@ -1080,8 +1080,8 @@ ROOT_NT
PROPER_NOUN_NT'"sashay"' {refined} {eval: CONSTANT_NT'"sashay"' {kind: text}}
TABLE_NT'table of visible exits character second third heading chosen' {unit: 4}
TABLE_NT'table of visible entrances character second third heading ch' {unit: 4}
IMPERATIVE_NT'to clear ( current table - a table name )' {unit: 4} {imperative definition: 924}
IMPERATIVE_NT'to tidy departures of ( current table - a table name )' {unit: 4} {imperative definition: 925}
IMPERATIVE_NT'to clear ( current table - a table name )' {unit: 4} {imperative definition: 925}
IMPERATIVE_NT'to tidy departures of ( current table - a table name )' {unit: 4} {imperative definition: 926}
SENTENCE_NT'a door has a person called last opener' {unit: 4} {classified} {interpretation of subject: infs'person'}
VERB_NT'has' {verb 'have' 3p s act IS_TENSE +ve}
COMMON_NOUN_NT'door' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'door'} {creation: << kind=door(x) >>} {eval: TEST_VALUE_NT}
@ -1089,21 +1089,21 @@ ROOT_NT
PROPERTYCALLED_NT'called'
UNPARSED_NOUN_NT'person' {indefinite 'a' n/m/f nom/acc s}
UNPARSED_NOUN_NT'last opener'
IMPERATIVE_NT'report someone opening a door' {unit: 4} {imperative definition: 926}
IMPERATIVE_NT'report someone going through a door ( called route )' {unit: 4} {imperative definition: 927}
IMPERATIVE_NT'report someone opening a door' {unit: 4} {imperative definition: 927}
IMPERATIVE_NT'report someone going through a door ( called route )' {unit: 4} {imperative definition: 928}
SENTENCE_NT'the last thing named is a thing that varies' {unit: 4} {classified} {interpretation of subject: infs'door'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'last thing named' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: NONLOCAL_VARIABLE_NT'last thing named' {nonlocal: 'last thing named'(var)thing}} {created here}
COMMON_NOUN_NT'thing that varies' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'values variable-pointer'-k} {creation: << kind=things variable-pointer(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'before printing the name of something ( called target ) whic' {unit: 4} {imperative definition: 928}
IMPERATIVE_NT'report someone going a direction' {unit: 4} {imperative definition: 929}
IMPERATIVE_NT'this is the movement reporting rule' {unit: 4} {imperative definition: 930}
IMPERATIVE_NT'to generate descriptions from ( current table - a table name' {unit: 4} {imperative definition: 931}
IMPERATIVE_NT'before printing the name of something ( called target ) whic' {unit: 4} {imperative definition: 929}
IMPERATIVE_NT'report someone going a direction' {unit: 4} {imperative definition: 930}
IMPERATIVE_NT'this is the movement reporting rule' {unit: 4} {imperative definition: 931}
IMPERATIVE_NT'to generate descriptions from ( current table - a table name' {unit: 4} {imperative definition: 932}
SENTENCE_NT'the last person named is a person that varies' {unit: 4} {classified} {interpretation of subject: infs'door'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'last person named' {definite 'the' n/m/f s/p nom/acc} {refined} {eval: NONLOCAL_VARIABLE_NT'last person named' {nonlocal: 'last person named'(var)person}} {created here}
COMMON_NOUN_NT'person that varies' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'values variable-pointer'-k} {creation: << kind=people variable-pointer(x) >>} {eval: TEST_VALUE_NT}
IMPERATIVE_NT'before printing the name of a person ( called target )' {unit: 4} {imperative definition: 932}
IMPERATIVE_NT'before printing the name of a person ( called target )' {unit: 4} {imperative definition: 933}
SENTENCE_NT'group size is a number that varies' {unit: 4} {classified} {interpretation of subject: infs'door'}
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'group size' {refined} {eval: NONLOCAL_VARIABLE_NT'group size' {nonlocal: 'group size'(var)number}} {created here}
@ -1112,19 +1112,19 @@ ROOT_NT
VERB_NT'is' {verb 'be' 3p s act IS_TENSE +ve}
PROPER_NOUN_NT'group size' {refined} {eval: NONLOCAL_VARIABLE_NT'group size' {nonlocal: 'group size'(var)number} {meaning: {group size = VARIABLE_MC}}}
PROPER_NOUN_NT'1' {refined} {eval: CONSTANT_NT'1' {kind: number} {explicit literal} {number: 1}}
IMPERATIVE_NT'to clear marked people' {unit: 4} {imperative definition: 933}
IMPERATIVE_NT'before listing nondescript items' {unit: 4} {imperative definition: 934}
IMPERATIVE_NT'to describe patients' {unit: 4} {imperative definition: 935}
IMPERATIVE_NT'to say ( named character - a man ) as pronoun' {unit: 4} {imperative definition: 936}
IMPERATIVE_NT'to say ( named character - a woman ) as pronoun' {unit: 4} {imperative definition: 937}
IMPERATIVE_NT'to say looks as though dipped in for ( index - a number )' {unit: 4} {imperative definition: 938}
IMPERATIVE_NT'to clear marked people' {unit: 4} {imperative definition: 934}
IMPERATIVE_NT'before listing nondescript items' {unit: 4} {imperative definition: 935}
IMPERATIVE_NT'to describe patients' {unit: 4} {imperative definition: 936}
IMPERATIVE_NT'to say ( named character - a man ) as pronoun' {unit: 4} {imperative definition: 937}
IMPERATIVE_NT'to say ( named character - a woman ) as pronoun' {unit: 4} {imperative definition: 938}
IMPERATIVE_NT'to say looks as though dipped in for ( index - a number )' {unit: 4} {imperative definition: 939}
TABLE_NT'table of dipping phrases dipping "looks as though dipped in"' {unit: 4}
SENTENCE_NT'a door is usually scenery' {unit: 4} {classified} {interpretation of subject: infs'door'}
VERB_NT'is usually' {certainty:likely} {verb 'be' 3p s act IS_TENSE +ve}
COMMON_NOUN_NT'door' {indefinite 'a' n/m/f nom/acc s} {refined} {refers: infs'door'} {creation: << kind=door(x) >>} {eval: TEST_VALUE_NT}
ADJECTIVE_NT'scenery' {refined} {predicate: scenery} {creation: << scenery(x) ^ scenery(x) >>}
IMPERATIVE_NT'to make delimiter ( index - a number ) of ( count - a number' {unit: 4} {imperative definition: 939}
IMPERATIVE_NT'to say optional comma' {unit: 4} {imperative definition: 940}
IMPERATIVE_NT'to make delimiter ( index - a number ) of ( count - a number' {unit: 4} {imperative definition: 940}
IMPERATIVE_NT'to say optional comma' {unit: 4} {imperative definition: 941}
SENTENCE_NT'test me with go to cold comfort / z / z / z / z / ask vaness' {unit: 4} {classified}
VERB_NT'test' {verb 'test' 3p p act IS_TENSE +ve} {prep2: with} {special meaning: test-with}
UNPARSED_NOUN_NT'me'

22
inform7/Figures/timings-diagnostics.txt
View file

@ -1,8 +1,8 @@
100.0% in inform7 run
68.3% in compilation to Inter
47.8% in //Sequence::undertake_queued_tasks//
4.5% in //MajorNodes::pre_pass//
3.2% in //MajorNodes::pass_1//
68.2% in compilation to Inter
47.9% in //Sequence::undertake_queued_tasks//
4.6% in //MajorNodes::pre_pass//
3.1% in //MajorNodes::pass_1//
2.3% in //RTPhrasebook::compile_entries//
1.8% in //ImperativeDefinitions::assess_all//
1.5% in //RTKindConstructors::compile//
@ -18,11 +18,11 @@
0.1% in //Task::make_built_in_kind_constructors//
0.1% in //Understand::traverse//
0.1% in //World::stages_II_and_III//
2.1% not specifically accounted for
29.0% in running Inter pipeline
10.0% in step 14/15: generate inform6 -> auto.inf
2.0% not specifically accounted for
29.1% in running Inter pipeline
10.1% in step 14/15: generate inform6 -> auto.inf
7.6% in step 5/15: load-binary-kits
6.5% in step 6/15: make-synoptic-module
6.6% in step 6/15: make-synoptic-module
1.6% in step 9/15: make-identifiers-unique
0.4% in step 12/15: eliminate-redundant-operations
0.4% in step 4/15: compile-splats
@ -32,6 +32,6 @@
0.1% in step 10/15: reconcile-verbs
0.1% in step 2/15: parse-insertions
0.1% in step 3/15: resolve-conditional-compilation
0.7% not specifically accounted for
2.3% in supervisor
0.3% not specifically accounted for
0.5% not specifically accounted for
2.2% in supervisor
0.4% not specifically accounted for

24
inform7/Tests/Test Cases/_Results_Ideal/Obedience-C.txt
View file

@ -1538,21 +1538,13 @@ You can't put something inside itself.
>** put strap in bag
[inserting the strap into the frilly bag]
(first taking the strap)
[(1) taking the strap - silently]
That seems to be a part of the frilly bag.
[(1) taking the strap - silently - failed the can't take component parts rule]
[inserting the strap into the frilly bag - failed the can't insert what's not held rule]
You can't put something inside itself.
[inserting the strap into the frilly bag - failed the can't insert something into itself rule]
>** put my hand in the bag
[inserting your hand into the frilly bag]
(first taking your hand)
[(1) taking your hand - silently]
That seems to be a part of yourself.
[(1) taking your hand - silently - failed the can't take component parts rule]
[inserting your hand into the frilly bag - failed the can't insert what's not held rule]
You can't put something inside itself.
[inserting your hand into the frilly bag - failed the can't insert something into itself rule]
>** close bag
[closing the frilly bag]
@ -1659,12 +1651,8 @@ That seems to belong to Clark Gable.
>** put scarf into briefcase
[inserting the sparkly scarf into the briefcase]
(first taking the sparkly scarf)
[(1) taking the sparkly scarf - silently]
That seems to belong to Clark Gable.
[(1) taking the sparkly scarf - silently - failed the can't take people's possessions rule]
[inserting the sparkly scarf into the briefcase - failed the can't insert what's not held rule]
The briefcase is already there.
[inserting the sparkly scarf into the briefcase - failed the can't insert what's already inserted rule]
>** undo
Sound Stage

3
inform7/Tests/Test Cases/_Results_Ideal/Parts-C.txt
View file

@ -351,8 +351,7 @@ You can't put something inside itself.
>** put kangaroo in pouch
(the mother kangaroo in the pouch)
(first taking the mother kangaroo)
I don't suppose the mother kangaroo would care for that.
You can't put something inside itself.
>** open glass door
You open the glass door.

16
inform7/Tests/Test Internals/_Results_Ideal/Index-Chart.txt
View file

@ -852,7 +852,7 @@
</tr>
<tr>
<td style="white-space:nowrap;" align="left" valign="top" height="20">
phrase K -> L&nbsp;<a href=#A2175><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
phrase K -> L&nbsp;<a href=#A2177><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
<i>always the default value of L</i>
@ -860,7 +860,7 @@
</tr>
<tr bgcolor="#f0f0ff">
<td style="white-space:nowrap;" align="left" valign="top" height="20">
<span style='color:#808080'></span>relation<span style='color:#808080'> of K</span>&nbsp;<a href=#A2180><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
<span style='color:#808080'></span>relation<span style='color:#808080'> of K</span>&nbsp;<a href=#A2182><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
<i>a relation never holding</i>
@ -868,7 +868,7 @@
</tr>
<tr>
<td style="white-space:nowrap;" align="left" valign="top" height="20">
<span style='color:#808080'>K based</span> rule<span style='color:#808080'> producing L</span>&nbsp;<a href=inform:/doc327.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2183><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
<span style='color:#808080'>K based</span> rule<span style='color:#808080'> producing L</span>&nbsp;<a href=inform:/doc327.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2185><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
the little-used do nothing rule
@ -876,7 +876,7 @@
</tr>
<tr bgcolor="#f0f0ff">
<td style="white-space:nowrap;" align="left" valign="top" height="20">
<span style='color:#808080'>K based</span> rulebook<span style='color:#808080'> producing L</span>&nbsp;<a href=inform:/doc327.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2186><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
<span style='color:#808080'>K based</span> rulebook<span style='color:#808080'> producing L</span>&nbsp;<a href=inform:/doc327.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2188><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
the action-processing rules
@ -884,7 +884,7 @@
</tr>
<tr>
<td style="white-space:nowrap;" align="left" valign="top" height="20">
<span style='color:#808080'></span>activity<span style='color:#808080'> on K</span>&nbsp;<a href=inform:/doc287.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2189><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
<span style='color:#808080'></span>activity<span style='color:#808080'> on K</span>&nbsp;<a href=inform:/doc287.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2191><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
printing the name
@ -892,7 +892,7 @@
</tr>
<tr bgcolor="#f0f0ff">
<td style="white-space:nowrap;" align="left" valign="top" height="20">
description of K&nbsp;<a href=inform:/doc364.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2195><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
description of K&nbsp;<a href=inform:/doc364.html><img border=0 src=inform:/doc_images/help.png></a>&nbsp;<a href=#A2197><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
<i>matching nothing</i>
@ -900,7 +900,7 @@
</tr>
<tr>
<td style="white-space:nowrap;" align="left" valign="top" height="20">
<span style='color:#808080'>K valued</span> property<span style='color:#808080'></span>&nbsp;<a href=#A2197><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
<span style='color:#808080'>K valued</span> property<span style='color:#808080'></span>&nbsp;<a href=#A2199><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
--
@ -908,7 +908,7 @@
</tr>
<tr bgcolor="#f0f0ff">
<td style="white-space:nowrap;" align="left" valign="top" height="20">
<span style='color:#808080'>K valued</span> table<span style='color:#808080'></span> column<span style='color:#808080'></span>&nbsp;<a href=#A2199><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
<span style='color:#808080'>K valued</span> table<span style='color:#808080'></span> column<span style='color:#808080'></span>&nbsp;<a href=#A2201><img border=0 src=inform:/doc_images/Below.png></a>&nbsp;&nbsp;&nbsp;&nbsp;
</td>
<td align="left" valign="top" colspan="4">
--

18
inform7/extensions/standard_rules/Sections/Actions.w
View file

@ -422,12 +422,11 @@ Check an actor inserting something into (this is the convert insert to drop wher
if the second noun is down or the actor is in the second noun,
convert to the dropping action on the noun.
Check an actor inserting something into (this is the can't insert what's not held rule):
if the actor is carrying the noun, continue the action;
if the actor is wearing the noun, continue the action;
carry out the implicitly taking activity with the noun;
if the actor is carrying the noun, continue the action;
stop the action.
Check an actor inserting something into (this is the can't insert what's already inserted rule):
if the noun is in the second noun:
if the actor is the player:
say "[The second noun] [are] already there." (A);
stop the action.
Check an actor inserting something into (this is the can't insert something into itself rule):
let the noun-CPC be the component parts core of the noun;
@ -438,6 +437,13 @@ Check an actor inserting something into (this is the can't insert something into
say "[We] [can't put] something inside itself." (A);
stop the action.
Check an actor inserting something into (this is the can't insert what's not held rule):
if the actor is carrying the noun, continue the action;
if the actor is wearing the noun, continue the action;
carry out the implicitly taking activity with the noun;
if the actor is carrying the noun, continue the action;
stop the action.
Check an actor inserting something into (this is the can't insert into closed containers rule):
if the second noun is a closed container:
if the actor is the player: