Debugging log of Inform 7 NI called as: /Applications/Inform.app/Contents/Resources/Compilers/ni -rules /Applications/Inform.app/Contents/Resources/Inform7/Extensions -package /Users/sussman/Documents/IF/driver.inform -extension=z5 -log ----------------------------------------------------- Phase I ... Lexical analysis ----------------------------------------------------- [Verifying lexer output: 733 words] [Okay: Lexer output correct] I've now read your source text, which is 1213 words long. Created object: O0 ----------------------------------------------------- Phase II ... Semantic analysis I ----------------------------------------------------- [Verifying lexer output: 15350 words] [Okay: Lexer output correct] I've also read Standard Rules by Graham Nelson, which is 11235 words long. Created property: p0_map_region Created property: p1_description Created property: p2_printed_name Created property: p3_initial_appearance Created property: p4_printed_plural_name Created property: p5_inventory_listing Created property: p6_indefinite_article Created property: p7_matching_key Created property: p8_other_side Created property: p9_carrying_capacity Created property: p10_opposite Created property: p11_inform_property Created property: p12_inform_object ----------------------------------------------------- Phase III ... Semantic analysis II ----------------------------------------------------- [Verifying parse tree] [Okay: 4303 nodes: root has 1136 children] ----------------------------------------------------- Phase IV ... Semantic analysis III ----------------------------------------------------- Created adjectival phrase: APH'adjacent' Created adjectival phrase: APH'visible' Created adjectival phrase: APH'touchable' Created adjectival phrase: APH'invisible' Created adjectival phrase: APH'untouchable' Created adjectival phrase: APH'concealed' Created adjectival phrase: APH'unconcealed' Created adjectival phrase: APH'on-stage' Created adjectival phrase: APH'off-stage' New table (522,529,i=525,j=-1) with text: table [sp] of [sp] speaker [sp] announcements [sp] announcement [cr] "'Mrs. Jones, please come and fetch your child from the parking lot.'" [cr] "'Mr. Willard, you have a phone call.'" [cr] "'Attention all customers -- please be sure to '" [cr] Table no -1, -1, name 524, 525 Created: {T0_speaker_announcements} Row 0 is announcement Row 0 col 0 is announcement Row 1 is "'Mrs. Jones, please come and fetch your child from the parking lot.'" Row 1 col 0 is "'Mrs. Jones, please come and fetch your child from the parking lot.'" Row 2 is "'Mr. Willard, you have a phone call.'" Row 2 col 0 is "'Mr. Willard, you have a phone call.'" Row 3 is "'Attention all customers -- please be sure to '" Row 3 col 0 is "'Attention all customers -- please be sure to '" ----------------------------------------------------- Phase V ... First pass through assertions ----------------------------------------------------- Created object: O1'room' Setting kind of K1'room' to K0 [Changed subject of sentences to K1'room'] [Changed object of sentences to K1'room'] Created object: O2'thing' Setting kind of K2'thing' to K0 [Changed subject of sentences to K2'thing'] [Changed object of sentences to K2'thing'] Created object: O3'direction' Setting kind of K3'direction' to K0 [Changed subject of sentences to K3'direction'] [Changed object of sentences to K3'direction'] Created object: O4'door' Setting kind of K4'door' to K2'thing' [Changed subject of sentences to K4'door'] [Changed object of sentences to K4'door'] Created object: O5'container' Setting kind of K5'container' to K2'thing' [Changed subject of sentences to K5'container'] [Changed object of sentences to K5'container'] Created object: O6'supporter' Setting kind of K6'supporter' to K2'thing' [Changed subject of sentences to K6'supporter'] [Changed object of sentences to K6'supporter'] Created object: O7'backdrop' Setting kind of K7'backdrop' to K2'thing' [Changed subject of sentences to K7'backdrop'] [Changed object of sentences to K7'backdrop'] Created object: O8'person' Setting kind of K8'person' to K2'thing' [Changed subject of sentences to K8'person'] [Changed object of sentences to K8'person'] Created object: O9'region' Setting kind of K9'region' to K0 [Changed subject of sentences to K9'region'] [Changed object of sentences to K9'region'] Created property: p13_lighted Allowing K1'room' to provide 'lighted' - CONDITION_TY -> p13_lighted Created property: p14_dark Allowing K1'room' to provide 'lighted' - CONDITION_TY -> p13_lighted [Changed subject of sentences to K1'room'] [Changed object of sentences to K1'room'] Created property: p15_visited Allowing K1'room' to provide 'visited' - CONDITION_TY -> p15_visited Created property: p16_unvisited Allowing K1'room' to provide 'visited' - CONDITION_TY -> p15_visited Allowing K1'room' to provide 'map region' - VALUE_TY/CLASSIFIED_TY -> p0_map_region Allowing K1'room' to provide 'description' - VALUE_TY/CLASSIFIED_TY -> p1_description Allowing K1'room' to provide 'printed name' - VALUE_TY/CLASSIFIED_TY -> p2_printed_name Allowing K2'thing' to provide 'description' - VALUE_TY/CLASSIFIED_TY -> p1_description [Changed subject of sentences to K2'thing'] [Changed object of sentences to K2'thing'] Allowing K2'thing' to provide 'initial appearance' - VALUE_TY/CLASSIFIED_TY -> p3_initial_appearance Allowing K2'thing' to provide 'printed name' - VALUE_TY/CLASSIFIED_TY -> p2_printed_name Allowing K2'thing' to provide 'printed plural name' - VALUE_TY/CLASSIFIED_TY -> p4_printed_plural_name Allowing K2'thing' to provide 'inventory listing' - VALUE_TY/CLASSIFIED_TY -> p5_inventory_listing Allowing K2'thing' to provide 'indefinite article' - VALUE_TY/CLASSIFIED_TY -> p6_indefinite_article Allowing K2'thing' to provide 'matching key' - VALUE_TY/CLASSIFIED_TY -> p7_matching_key Created property: p17_enterable Allowing K2'thing' to provide 'enterable' - CONDITION_TY -> p17_enterable Created property: p18_lit Allowing K2'thing' to provide 'lit' - CONDITION_TY -> p18_lit Created property: p19_unlit Allowing K2'thing' to provide 'lit' - CONDITION_TY -> p18_lit Created property: p20_edible Allowing K2'thing' to provide 'edible' - CONDITION_TY -> p20_edible Created property: p21_inedible Allowing K2'thing' to provide 'edible' - CONDITION_TY -> p20_edible Created property: p22_opaque Allowing K2'thing' to provide 'opaque' - CONDITION_TY -> p22_opaque Created property: p23_transparent Allowing K2'thing' to provide 'opaque' - CONDITION_TY -> p22_opaque Created property: p24_described Allowing K2'thing' to provide 'described' - CONDITION_TY -> p24_described Created property: p25_undescribed Allowing K2'thing' to provide 'described' - CONDITION_TY -> p24_described Created property: p26_scenery Allowing K2'thing' to provide 'scenery' - CONDITION_TY -> p26_scenery Created property: p27_fixed_in_place Allowing K2'thing' to provide 'fixed in place' - CONDITION_TY -> p27_fixed_in_place Created property: p28_portable Allowing K2'thing' to provide 'fixed in place' - CONDITION_TY -> p27_fixed_in_place Created property: p29_wearable Allowing K2'thing' to provide 'wearable' - CONDITION_TY -> p29_wearable Created property: p30_handled Allowing K2'thing' to provide 'handled' - CONDITION_TY -> p30_handled Created property: p31_pushable_between_rooms Allowing K2'thing' to provide 'pushable between rooms' - CONDITION_TY -> p31_pushable_between_rooms Created property: p32_an_inform_library_door Allowing K2'thing' to provide 'an inform library door' - CONDITION_TY -> p32_an_inform_library_door Created property: p33_an_inform_library_contai Allowing K2'thing' to provide 'an inform library container' - CONDITION_TY -> p33_an_inform_library_contai Created property: p34_an_inform_library_suppor Allowing K2'thing' to provide 'an inform library supporter' - CONDITION_TY -> p34_an_inform_library_suppor Created property: p35_inform_library_switchabl Allowing K2'thing' to provide 'inform library switchable' - CONDITION_TY -> p35_inform_library_switchabl Created property: p36_an_inform_library_animat Allowing K2'thing' to provide 'an inform library animate object' - CONDITION_TY -> p36_an_inform_library_animat Created property: p37_an_inform_library_male Allowing K2'thing' to provide 'an inform library male' - CONDITION_TY -> p37_an_inform_library_male Created property: p38_marked_for_listing Allowing K2'thing' to provide 'marked for listing' - CONDITION_TY -> p38_marked_for_listing Created property: p39_unmarked_for_listing Allowing K2'thing' to provide 'marked for listing' - CONDITION_TY -> p38_marked_for_listing Created property: p40_mentioned Allowing K2'thing' to provide 'mentioned' - CONDITION_TY -> p40_mentioned Created property: p41_unmentioned Allowing K2'thing' to provide 'mentioned' - CONDITION_TY -> p40_mentioned Created property: p42_initially_carried Allowing K2'thing' to provide 'initially carried' - CONDITION_TY -> p42_initially_carried [Changed subject of sentences to K4'door'] [Changed object of sentences to K4'door'] Created property: p43_open Allowing K4'door' to provide 'open' - CONDITION_TY -> p43_open Created property: p44_closed Allowing K4'door' to provide 'open' - CONDITION_TY -> p43_open Created property: p45_openable Allowing K4'door' to provide 'openable' - CONDITION_TY -> p45_openable Created property: p46_unopenable Allowing K4'door' to provide 'openable' - CONDITION_TY -> p45_openable Created property: p47_lockable Allowing K4'door' to provide 'lockable' - CONDITION_TY -> p47_lockable Created property: p48_locked Allowing K4'door' to provide 'locked' - CONDITION_TY -> p48_locked Created property: p49_unlocked Allowing K4'door' to provide 'locked' - CONDITION_TY -> p48_locked Allowing K4'door' to provide 'other side' - VALUE_TY/CLASSIFIED_TY -> p8_other_side Allowing K4'door' to provide 'other side' - VALUE_TY/CLASSIFIED_TY -> p8_other_side [Changed subject of sentences to K5'container'] [Changed object of sentences to K5'container'] Allowing K5'container' to provide 'open' - CONDITION_TY/~'closed' -> p43_open Allowing K5'container' to provide 'open' - CONDITION_TY/~'closed' -> p43_open Allowing K5'container' to provide 'openable' - CONDITION_TY/~'unopenable' -> p45_openable Allowing K5'container' to provide 'openable' - CONDITION_TY/~'unopenable' -> p45_openable Allowing K5'container' to provide 'lockable' - CONDITION_TY -> p47_lockable Allowing K5'container' to provide 'locked' - CONDITION_TY/~'unlocked' -> p48_locked Allowing K5'container' to provide 'locked' - CONDITION_TY/~'unlocked' -> p48_locked Allowing K5'container' to provide 'carrying capacity' - VALUE_TY/CLASSIFIED_TY -> p9_carrying_capacity Allowing K2'thing' to provide 'matching key' - VALUE_TY/CLASSIFIED_TY -> p7_matching_key Created object: O10'player's holdall' Setting kind of K10'player's holdall' to K5'container' [Changed subject of sentences to K10'player's holdall'] [Changed object of sentences to K10'player's holdall'] [Changed subject of sentences to K6'supporter'] [Changed object of sentences to K6'supporter'] Allowing K6'supporter' to provide 'carrying capacity' - VALUE_TY/NUMBER_TY -> p9_carrying_capacity Created object: O11'device' Setting kind of K11'device' to K2'thing' [Changed subject of sentences to K11'device'] [Changed object of sentences to K11'device'] Created property: p50_switched_on Allowing K11'device' to provide 'switched on' - CONDITION_TY -> p50_switched_on Created property: p51_switched_off Allowing K11'device' to provide 'switched on' - CONDITION_TY -> p50_switched_on Allowing K3'direction' to provide 'opposite' - VALUE_TY/CLASSIFIED_TY -> p10_opposite [Changed subject of sentences to K3'direction'] [Changed object of sentences to K3'direction'] Allowing K3'direction' to provide 'inform property' - VALUE_TY/CLASSIFIED_TY -> p11_inform_property Allowing K3'direction' to provide 'inform object' - VALUE_TY/CLASSIFIED_TY -> p12_inform_object Created object: O12'north' Setting kind of O12'north' to K3'direction' Created object: O13'northeast' Setting kind of O13'northeast' to K3'direction' Created object: O14'northwest' Setting kind of O14'northwest' to K3'direction' Created object: O15'south' Setting kind of O15'south' to K3'direction' Created object: O16'southeast' Setting kind of O16'southeast' to K3'direction' Created object: O17'southwest' Setting kind of O17'southwest' to K3'direction' Created object: O18'east' Setting kind of O18'east' to K3'direction' Created object: O19'west' Setting kind of O19'west' to K3'direction' Created object: O20'up' Setting kind of O20'up' to K3'direction' Created object: O21'down' Setting kind of O21'down' to K3'direction' Created object: O22'inside' Setting kind of O22'inside' to K3'direction' Created object: O23'outside' Setting kind of O23'outside' to K3'direction' [Changed subject of sentences to K8'person'] [Changed object of sentences to K8'person'] Created property: p52_female Allowing K8'person' to provide 'female' - CONDITION_TY -> p52_female Created property: p53_male Allowing K8'person' to provide 'female' - CONDITION_TY -> p52_female Allowing K8'person' to provide 'carrying capacity' - VALUE_TY/NUMBER_TY -> p9_carrying_capacity Created object: O24'animal' Setting kind of K24'animal' to K8'person' [Changed subject of sentences to K24'animal'] [Changed object of sentences to K24'animal'] Created object: O25'man' Setting kind of K25'man' to K8'person' [Changed subject of sentences to K25'man'] [Changed object of sentences to K25'man'] Created object: O26'woman' Setting kind of K26'woman' to K8'person' [Changed subject of sentences to K26'woman'] [Changed object of sentences to K26'woman'] Created property: p54_neuter Allowing K8'person' to provide 'neuter' - CONDITION_TY -> p54_neuter [Changed subject of sentences to K8'person'] [Changed object of sentences to K8'person'] [Changed subject of sentences to K26'woman'] [Changed object of sentences to K26'woman'] [Changed subject of sentences to K25'man'] [Changed object of sentences to K25'man'] Created object: O27'player-character' Setting kind of K27'player-character' to K8'person' [Changed subject of sentences to K27'player-character'] [Changed object of sentences to K27'player-character'] Created object: O28'player' Uncreated object: O28'player' Created object: O29'yourself' Setting kind of O29'yourself' to K27'player-character' [Changed subject of sentences to O29'yourself'] [Changed object of sentences to O29'yourself'] Created object: O30'vehicle' Setting kind of K30'vehicle' to K5'container' [Changed subject of sentences to K30'vehicle'] [Changed object of sentences to K30'vehicle'] [Changed subject of sentences to K7'backdrop'] [Changed object of sentences to K7'backdrop'] Created object: O31'location -- documented at var_location --' Uncreated object: O31'location -- documented at var_location --' Created object: O32'score -- documented at var_score --' Uncreated object: O32'score -- documented at var_score --' Created object: O33'maximum score' Uncreated object: O33'maximum score' Created object: O34'turn count' Uncreated object: O34'turn count' Created object: O35'time of day -- documented at var_time --' Uncreated object: O35'time of day -- documented at var_time --' Created object: O36'noun -- documented at var_noun --' Uncreated object: O36'noun -- documented at var_noun --' Created object: O37'second noun' Uncreated object: O37'second noun' Created object: O38'person asked -- documented at var_person_asked --' Uncreated object: O38'person asked -- documented at var_person_asked --' Created object: O39'reason the action failed -- documented at var_reason --' Uncreated object: O39'reason the action failed -- documented at var_reason --' Created object: O40'item described' Uncreated object: O40'item described' Created object: O41'person reaching -- documented at var_person_reaching --' Uncreated object: O41'person reaching -- documented at var_person_reaching --' Created object: O42'container in question' Uncreated object: O42'container in question' Created object: O43'particular possession -- documented at var_particular --' Uncreated object: O43'particular possession -- documented at var_particular --' Created object: O44'player's command -- documented at var_command --' Uncreated object: O44'player's command -- documented at var_command --' Created object: O45'matched text' Uncreated object: O45'matched text' Created object: O46'number understood -- documented at var_understood --' Uncreated object: O46'number understood -- documented at var_understood --' Created object: O47'time understood' Uncreated object: O47'time understood' Created object: O48'topic understood' Uncreated object: O48'topic understood' Created object: O49'command prompt -- documented at var_prompt --' Uncreated object: O49'command prompt -- documented at var_prompt --' Created object: O50'left hand status line -- documented at var_sl --' Uncreated object: O50'left hand status line -- documented at var_sl --' Created object: O51'right hand status line' Uncreated object: O51'right hand status line' [Changed subject of sentences to K2'thing'] [Changed object of sentences to K2'thing'] Created object: O52'action-processing rules' Uncreated object: O52'action-processing rules' Created object: O53'before rules' Uncreated object: O53'before rules' Created object: O54'instead rules' Uncreated object: O54'instead rules' Created object: O55'after rules' Uncreated object: O55'after rules' Created object: O56'procedural rules' Uncreated object: O56'procedural rules' Created object: O57'accessibility rules' Uncreated object: O57'accessibility rules' Created object: O58'action-specific rules' Uncreated object: O58'action-specific rules' Created object: O59'carry out rules' Uncreated object: O59'carry out rules' Created object: O60'general report rules' Uncreated object: O60'general report rules' Created object: O61'turn sequence rules' Uncreated object: O61'turn sequence rules' Created object: O62'reaching inside rules' Uncreated object: O62'reaching inside rules' Created object: O63'reaching outside rules' Uncreated object: O63'reaching outside rules' Created object: O64'general before rules' Uncreated object: O64'general before rules' Created object: O65'actor-specific before rules' Uncreated object: O65'actor-specific before rules' Created object: O66'location-specific before rules' Uncreated object: O66'location-specific before rules' Created object: O67'reaction before rules' Uncreated object: O67'reaction before rules' Created object: O68'object-specific before rules' Uncreated object: O68'object-specific before rules' Created object: O69'general after rules' Uncreated object: O69'general after rules' Created object: O70'actor-specific after rules' Uncreated object: O70'actor-specific after rules' Created object: O71'location-specific after rules' Uncreated object: O71'location-specific after rules' Created object: O72'reaction after rules' Uncreated object: O72'reaction after rules' Created object: O73'object-specific after rules' Uncreated object: O73'object-specific after rules' Created object: O74'when play begins' Uncreated object: O74'when play begins' Created object: O75'when play ends' Uncreated object: O75'when play ends' Created object: O76'every turn rules' Uncreated object: O76'every turn rules' Created object: O77'check rules' Uncreated object: O77'check rules' Created object: O78'report rules' Uncreated object: O78'report rules' Created object: O79'persuasion rules' Uncreated object: O79'persuasion rules' Created object: O80'unsuccessful attempt by' Uncreated object: O80'unsuccessful attempt by' Created object: O81'visibility rules' Uncreated object: O81'visibility rules' Created object: O82'scene changing rules' Uncreated object: O82'scene changing rules' Created activity: printing the name of something Created activity: listing contents of something Created activity: grouping together something Created activity: constructing the status line Created activity: listing nondescript items of something Created activity: deciding the scope of something Created activity: supplying a missing noun Created activity: supplying a missing second noun Created activity: reading a command Created activity: deciding whether all includes something Created activity: printing the player's obituary Created activity: amusing a victorious player Created activity: printing the banner text Created activity: printing the plural name of something Created activity: deciding the concealed possessions of something Created activity: printing a refusal to act in the dark Created activity: printing the announcement of darkness Created activity: printing the name of a dark room Created activity: printing the description of a dark room Created activity: printing room description details of something Created activity: printing a parser error Created activity: implicitly taking something Created activity: starting the virtual machine Created activity: writing a paragraph about something Created action: taking inventory Created action: taking Created action: removing it from Created action: dropping Created action: putting it on Created action: inserting it into Created action: waiting Created action: going Created action: entering Created action: exiting Created action: getting off Created action: looking Created action: examining Created action: looking under Created action: searching Created action: consulting it about Created action: locking it with Created action: unlocking it with Created action: switching on Created action: switching off Created action: opening Created action: closing Created action: wearing Created action: taking off Created action: eating Created action: giving it to Created action: showing it to Created action: waking Created action: throwing it at Created action: attacking Created action: kissing Created action: answering it that Created action: telling it about Created action: asking it about Created action: asking it for Created action: touching Created action: waving Created action: pulling Created action: pushing Created action: turning Created action: pushing it to Created action: squeezing Created action: saying yes Created action: saying no Created action: burning Created action: waking up Created action: thinking Created action: smelling Created action: listening to Created action: tasting Created action: cutting Created action: jumping Created action: tying it to Created action: drinking Created action: saying sorry Created action: swearing obscenely Created action: swearing mildly Created action: swinging Created action: rubbing Created action: setting it to Created action: waving hands Created action: buying Created action: singing Created action: climbing Created action: sleeping Created action: requesting the score Created action: quitting the game Created action: saving the game Created action: restoring the game Created action: restarting the game Created action: verifying the story file Created action: requesting the story file version Created action: switching the story transcript on Created action: switching the story transcript off Created action: preferring abbreviated room descriptions Created action: preferring unabbreviated room descriptions Created action: preferring sometimes abbreviated room descriptions Created action: requesting the pronoun meanings Created action: switching score notification on Created action: switching score notification off Created object: O83'say-parameter' Uncreated object: O83'say-parameter' Created object: O84'i6-nothing' Uncreated object: O84'i6-nothing' Created object: O85'story title' Created object: O86'story author' Created object: O87'story headline' Created object: O88'story genre' Created object: O89'story description' Uncreated object: O85'story title' Uncreated object: O86'story author' Created non-library quantity: Quantity Q25_story_author believed variable 'story author' = VALUE_TY/TEXT_TY Uncreated object: O87'story headline' Created non-library quantity: Quantity Q26_story_headline believed variable 'story headline' = VALUE_TY/TEXT_TY Uncreated object: O88'story genre' Created non-library quantity: Quantity Q27_story_genre believed variable 'story genre' = VALUE_TY/TEXT_TY Uncreated object: O89'story description' Created non-library quantity: Quantity Q28_story_description believed variable 'story description' = VALUE_TY/TEXT_TY Created object: O90'release number' Uncreated object: O90'release number' Created non-library quantity: Quantity Q29_release_number believed variable 'release number' = VALUE_TY/NUMBER_TY Created object: O91'story creation year' Uncreated object: O91'story creation year' Created non-library quantity: Quantity Q30_story_creation_year believed variable 'story creation year' = VALUE_TY/NUMBER_TY Created object: O92'amulet of death' Setting kind of O92'amulet of death' to K2'thing' [Changed subject of sentences to O92'amulet of death'] [Changed object of sentences to O92'amulet of death'] Created object: O93'parking lot' Setting kind of O93'parking lot' to K1'room' [Changed subject of sentences to O93'parking lot'] [Changed object of sentences to O93'parking lot'] Created object: O94'doorway sign' Predicate calculus representation of is (p26_scenery(x) ^ is-in(x,O93'parking lot')) Amending negated exists gives: (p26_scenery(x) ^ is-in(x,O93'parking lot')) Adjusting quantification ranges for values gives: (p26_scenery(x) ^ is-in(x,O93'parking lot')) Making implied kinds explicit gives: (p26_scenery(x) ^ is-in(x,O93'parking lot')) Eliminating to-have on properties: (p26_scenery(x) ^ is-in(x,O93'parking lot')) Which simplifies to: (p26_scenery(x) ^ is(O93'parking lot',I7_InWhat(x))) [Changed subject of sentences to O94'doorway sign'] [Changed object of sentences to O94'doorway sign'] Created object: O95'foyer' [Changed subject of sentences to O95'foyer'] [Changed object of sentences to O95'foyer'] Created object: O96'kiosk' Predicate calculus representation of is (kind(x)=K5'container' ^ p27_fixed_in_place(x) ^ p23_transparent(x) ^ p43_open(x) ^ p17_enterable(x) ^ is-in(x,O95'foyer')) Amending negated exists gives: (kind(x)=K5'container' ^ p27_fixed_in_place(x) ^ p23_transparent(x) ^ p43_open(x) ^ p17_enterable(x) ^ is-in(x,O95'foyer')) Adjusting quantification ranges for values gives: (kind(x)=K5'container' ^ p27_fixed_in_place(x) ^ p23_transparent(x) ^ p43_open(x) ^ p17_enterable(x) ^ is-in(x,O95'foyer')) Making implied kinds explicit gives: (kind(x)=K5'container' ^ p27_fixed_in_place(x) ^ p23_transparent(x) ^ p43_open(x) ^ p17_enterable(x) ^ is-in(x,O95'foyer')) Eliminating to-have on properties: (kind(x)=K5'container' ^ p27_fixed_in_place(x) ^ p23_transparent(x) ^ p43_open(x) ^ p17_enterable(x) ^ is-in(x,O95'foyer')) Which simplifies to: (kind(x)=K5'container' ^ p27_fixed_in_place(x) ^ p23_transparent(x) ^ p43_open(x) ^ p17_enterable(x) ^ is(O95'foyer',I7_InWhat(x))) Setting kind of O96'kiosk' to K5'container' [Changed subject of sentences to O96'kiosk'] [Changed object of sentences to O96'kiosk'] Created object: O97'bob' Predicate calculus representation of is (kind(x)=K27'player-character' ^ p53_male(x) ^ is-in(x,O96'kiosk')) Amending negated exists gives: (kind(x)=K27'player-character' ^ p53_male(x) ^ is-in(x,O96'kiosk')) Adjusting quantification ranges for values gives: (kind(x)=K27'player-character' ^ p53_male(x) ^ is-in(x,O96'kiosk')) Making implied kinds explicit gives: (kind(x)=K27'player-character' ^ p53_male(x) ^ is-in(x,O96'kiosk')) Eliminating to-have on properties: (kind(x)=K27'player-character' ^ p53_male(x) ^ is-in(x,O96'kiosk')) Which simplifies to: (kind(x)=K27'player-character' ^ p53_male(x) ^ is(O96'kiosk',I7_InWhat(x))) Setting kind of O97'bob' to K27'player-character' [Changed subject of sentences to O97'bob'] [Changed object of sentences to O97'bob'] Created object: O98'main desk' [Changed subject of sentences to O98'main desk'] [Changed object of sentences to O98'main desk'] Created object: O99'desk sign' Predicate calculus representation of is (p26_scenery(x) ^ is-in(x,O98'main desk')) Amending negated exists gives: (p26_scenery(x) ^ is-in(x,O98'main desk')) Adjusting quantification ranges for values gives: (p26_scenery(x) ^ is-in(x,O98'main desk')) Making implied kinds explicit gives: (p26_scenery(x) ^ is-in(x,O98'main desk')) Eliminating to-have on properties: (p26_scenery(x) ^ is-in(x,O98'main desk')) Which simplifies to: (p26_scenery(x) ^ is(O98'main desk',I7_InWhat(x))) [Changed subject of sentences to O99'desk sign'] [Changed object of sentences to O99'desk sign'] Created object: O100'photographer' Predicate calculus representation of is (kind(x)=K25'man' ^ is-in(x,O98'main desk')) Amending negated exists gives: (kind(x)=K25'man' ^ is-in(x,O98'main desk')) Adjusting quantification ranges for values gives: (kind(x)=K25'man' ^ is-in(x,O98'main desk')) Making implied kinds explicit gives: (kind(x)=K25'man' ^ is-in(x,O98'main desk')) Eliminating to-have on properties: (kind(x)=K25'man' ^ is-in(x,O98'main desk')) Which simplifies to: (kind(x)=K25'man' ^ is(O98'main desk',I7_InWhat(x))) Setting kind of O100'photographer' to K25'man' [Changed subject of sentences to O100'photographer'] [Changed object of sentences to O100'photographer'] Created object: O101'dance floor' [Changed subject of sentences to O101'dance floor'] [Changed object of sentences to O101'dance floor'] Created object: O102'testing area' [Changed subject of sentences to O102'testing area'] [Changed object of sentences to O102'testing area'] Created object: O103'clerk windows' [Changed subject of sentences to O103'clerk windows'] [Changed object of sentences to O103'clerk windows'] Created object: O104'cashier' [Changed subject of sentences to O104'cashier'] [Changed object of sentences to O104'cashier'] Created object: O105'waiting area' [Changed subject of sentences to O105'waiting area'] [Changed object of sentences to O105'waiting area'] Created object: O106'washroom' [Changed subject of sentences to O106'washroom'] [Changed object of sentences to O106'washroom'] Created object: O107'bratty girl' Predicate calculus representation of is (kind(x)=K26'woman' ^ is-in(x,O106'washroom')) Amending negated exists gives: (kind(x)=K26'woman' ^ is-in(x,O106'washroom')) Adjusting quantification ranges for values gives: (kind(x)=K26'woman' ^ is-in(x,O106'washroom')) Making implied kinds explicit gives: (kind(x)=K26'woman' ^ is-in(x,O106'washroom')) Eliminating to-have on properties: (kind(x)=K26'woman' ^ is-in(x,O106'washroom')) Which simplifies to: (kind(x)=K26'woman' ^ is(O106'washroom',I7_InWhat(x))) Setting kind of O107'bratty girl' to K26'woman' [Changed subject of sentences to O107'bratty girl'] [Changed object of sentences to O107'bratty girl'] Created object: O108'picture id' Predicate with BP carries (, ) Disallowed relationship assertion about O108'picture id': LOCATION_NT (CONTAINSTHINGS_INF) VALUE_NT evaluation:QUANTITY_TY [Changed subject of sentences to O108'picture id'] [Changed object of sentences to O108'picture id'] Created object: O109'ball-point pen' Predicate with BP carries (, ) Disallowed relationship assertion about O109'ball-point pen': LOCATION_NT (CONTAINSTHINGS_INF) VALUE_NT evaluation:QUANTITY_TY [Changed subject of sentences to O109'ball-point pen'] [Changed object of sentences to O109'ball-point pen'] Predicate with BP carries (, ) Disallowed relationship assertion about O92'amulet of death': LOCATION_NT (CONTAINSTHINGS_INF) VALUE_NT evaluation:QUANTITY_TY [Changed subject of sentences to O92'amulet of death'] [Changed object of sentences to O92'amulet of death'] ----------------------------------------------------- Phase VI ... All objects and properties now created ----------------------------------------------------- K0 K1'room' K2'thing' K3'direction' K4'door' K5'container' K6'supporter' K7'backdrop' K8'person' K9'region' K10'player's holdall' K11'device' O12'north' O13'northeast' O14'northwest' O15'south' O16'southeast' O17'southwest' O18'east' O19'west' O20'up' O21'down' O22'inside' O23'outside' K24'animal' K25'man' K26'woman' K27'player-character' O29'yourself' K30'vehicle' O92'amulet of death' O93'parking lot' O94'doorway sign' O95'foyer' O96'kiosk' O97'bob' O98'main desk' O99'desk sign' O100'photographer' O101'dance floor' O102'testing area' O103'clerk windows' O104'cashier' O105'waiting area' O106'washroom' O107'bratty girl' O108'picture id' O109'ball-point pen' 'map region' - VALUE_TY/CLASSIFIED_TY -> p0_map_region 'description' - VALUE_TY/CLASSIFIED_TY -> p1_description 'printed name' - VALUE_TY/CLASSIFIED_TY -> p2_printed_name 'initial appearance' - VALUE_TY/CLASSIFIED_TY -> p3_initial_appearance 'printed plural name' - VALUE_TY/CLASSIFIED_TY -> p4_printed_plural_name 'inventory listing' - VALUE_TY/CLASSIFIED_TY -> p5_inventory_listing 'indefinite article' - VALUE_TY/CLASSIFIED_TY -> p6_indefinite_article 'matching key' - VALUE_TY/CLASSIFIED_TY -> p7_matching_key 'other side' - VALUE_TY/CLASSIFIED_TY -> p8_other_side 'carrying capacity' - VALUE_TY/NUMBER_TY -> p9_carrying_capacity 'opposite' - VALUE_TY/CLASSIFIED_TY -> p10_opposite 'inform property' - VALUE_TY/CLASSIFIED_TY -> p11_inform_property 'inform object' - VALUE_TY/CLASSIFIED_TY -> p12_inform_object 'lighted' - CONDITION_TY/~'dark' -> p13_lighted 'dark' - CONDITION_TY/~'lighted' -> p14_dark 'visited' - CONDITION_TY/~'unvisited' -> p15_visited 'unvisited' - CONDITION_TY/~'visited' -> p16_unvisited 'enterable' - CONDITION_TY -> p17_enterable 'lit' - CONDITION_TY/~'unlit' -> p18_lit 'unlit' - CONDITION_TY/~'lit' -> p19_unlit 'edible' - CONDITION_TY/~'inedible' -> p20_edible 'inedible' - CONDITION_TY/~'edible' -> p21_inedible 'opaque' - CONDITION_TY/~'transparent' -> p22_opaque 'transparent' - CONDITION_TY/~'opaque' -> p23_transparent 'described' - CONDITION_TY/~'undescribed' -> p24_described 'undescribed' - CONDITION_TY/~'described' -> p25_undescribed 'scenery' - CONDITION_TY -> p26_scenery 'fixed in place' - CONDITION_TY/~'portable' -> p27_fixed_in_place 'portable' - CONDITION_TY/~'fixed in place' -> p28_portable 'wearable' - CONDITION_TY -> p29_wearable 'handled' - CONDITION_TY -> p30_handled 'pushable between rooms' - CONDITION_TY -> p31_pushable_between_rooms 'an inform library door' - CONDITION_TY -> p32_an_inform_library_door 'an inform library container' - CONDITION_TY -> p33_an_inform_library_contai 'an inform library supporter' - CONDITION_TY -> p34_an_inform_library_suppor 'inform library switchable' - CONDITION_TY -> p35_inform_library_switchabl 'an inform library animate object' - CONDITION_TY -> p36_an_inform_library_animat 'an inform library male' - CONDITION_TY -> p37_an_inform_library_male 'marked for listing' - CONDITION_TY/~'unmarked for listing' -> p38_marked_for_listing 'unmarked for listing' - CONDITION_TY/~'marked for listing' -> p39_unmarked_for_listing 'mentioned' - CONDITION_TY/~'unmentioned' -> p40_mentioned 'unmentioned' - CONDITION_TY/~'mentioned' -> p41_unmentioned 'initially carried' - CONDITION_TY -> p42_initially_carried 'open' - CONDITION_TY/~'closed' -> p43_open 'closed' - CONDITION_TY/~'open' -> p44_closed 'openable' - CONDITION_TY/~'unopenable' -> p45_openable 'unopenable' - CONDITION_TY/~'openable' -> p46_unopenable 'lockable' - CONDITION_TY -> p47_lockable 'locked' - CONDITION_TY/~'unlocked' -> p48_locked 'unlocked' - CONDITION_TY/~'locked' -> p49_unlocked 'switched on' - CONDITION_TY/~'switched off' -> p50_switched_on 'switched off' - CONDITION_TY/~'switched on' -> p51_switched_off 'female' - CONDITION_TY/~'male' -> p52_female 'male' - CONDITION_TY/~'female' -> p53_male 'neuter' - CONDITION_TY -> p54_neuter ----------------------------------------------------- Phase VII ... Second pass through assertions ----------------------------------------------------- [Changed subject of sentences to K1'room'] [Changed object of sentences to K1'room'] [Changed subject of sentences to K2'thing'] [Changed object of sentences to K2'thing'] [Changed subject of sentences to K3'direction'] [Changed object of sentences to K3'direction'] [Changed subject of sentences to K4'door'] [Changed object of sentences to K4'door'] [Changed subject of sentences to K5'container'] [Changed object of sentences to K5'container'] [Changed subject of sentences to K6'supporter'] [Changed object of sentences to K6'supporter'] [Changed subject of sentences to K7'backdrop'] [Changed object of sentences to K7'backdrop'] [Changed subject of sentences to K8'person'] [Changed object of sentences to K8'person'] [Changed subject of sentences to K9'region'] [Changed object of sentences to K9'region'] Created property: p55_specification [Changed subject of sentences to K1'room'] [Changed object of sentences to K1'room'] [Changed subject of sentences to K2'thing'] [Changed object of sentences to K2'thing'] [Changed subject of sentences to K4'door'] [Changed object of sentences to K4'door'] [Changed subject of sentences to K5'container'] [Changed object of sentences to K5'container'] [Changed subject of sentences to K10'player's holdall'] [Changed object of sentences to K10'player's holdall'] [Changed subject of sentences to K6'supporter'] [Changed object of sentences to K6'supporter'] [Changed subject of sentences to K11'device'] [Changed object of sentences to K11'device'] [Changed subject of sentences to K3'direction'] [Changed object of sentences to K3'direction'] Setting kind of O12'north' to K3'direction' Setting kind of O13'northeast' to K3'direction' Setting kind of O14'northwest' to K3'direction' Setting kind of O15'south' to K3'direction' Setting kind of O16'southeast' to K3'direction' Setting kind of O17'southwest' to K3'direction' Setting kind of O18'east' to K3'direction' Setting kind of O19'west' to K3'direction' Setting kind of O20'up' to K3'direction' Setting kind of O21'down' to K3'direction' Setting kind of O22'inside' to K3'direction' Setting kind of O23'outside' to K3'direction' [Changed subject of sentences to K8'person'] [Changed object of sentences to K8'person'] [Changed subject of sentences to K24'animal'] [Changed object of sentences to K24'animal'] [Changed subject of sentences to K25'man'] [Changed object of sentences to K25'man'] [Changed subject of sentences to K26'woman'] [Changed object of sentences to K26'woman'] [Changed subject of sentences to K8'person'] [Changed object of sentences to K8'person'] [Changed subject of sentences to K26'woman'] [Changed object of sentences to K26'woman'] [Changed subject of sentences to K25'man'] [Changed object of sentences to K25'man'] [Changed subject of sentences to K27'player-character'] [Changed object of sentences to K27'player-character'] Setting kind of O29'yourself' to K27'player-character' [Changed subject of sentences to O29'yourself'] [Changed object of sentences to O29'yourself'] [Changed subject of sentences to K30'vehicle'] [Changed object of sentences to K30'vehicle'] [Changed subject of sentences to K7'backdrop'] [Changed object of sentences to K7'backdrop'] Created property: p56_score_for_visiting Created property: p57_score Created property: p58_worn Forming implication: ADJECTIVE_NT property:locked ADJECTIVE_NT property:lockable [Changed subject of sentences to K2'thing'] [Changed object of sentences to K2'thing'] Setting kind of O92'amulet of death' to K2'thing' [Changed subject of sentences to O92'amulet of death'] [Changed object of sentences to O92'amulet of death'] Setting kind of O93'parking lot' to K1'room' [Changed subject of sentences to O93'parking lot'] [Changed object of sentences to O93'parking lot'] [Changed subject of sentences to O94'doorway sign'] [Changed object of sentences to O94'doorway sign'] [Changed subject of sentences to O95'foyer'] [Changed object of sentences to O95'foyer'] Setting kind of O96'kiosk' to K5'container' [Changed subject of sentences to O96'kiosk'] [Changed object of sentences to O96'kiosk'] Setting kind of O97'bob' to K27'player-character' [Changed subject of sentences to O97'bob'] [Changed object of sentences to O97'bob'] [Changed subject of sentences to O98'main desk'] [Changed object of sentences to O98'main desk'] [Changed subject of sentences to O99'desk sign'] [Changed object of sentences to O99'desk sign'] Setting kind of O100'photographer' to K25'man' [Changed subject of sentences to O100'photographer'] [Changed object of sentences to O100'photographer'] [Changed subject of sentences to O101'dance floor'] [Changed object of sentences to O101'dance floor'] [Changed subject of sentences to O102'testing area'] [Changed object of sentences to O102'testing area'] [Changed subject of sentences to O103'clerk windows'] [Changed object of sentences to O103'clerk windows'] [Changed subject of sentences to O104'cashier'] [Changed object of sentences to O104'cashier'] [Changed subject of sentences to O105'waiting area'] [Changed object of sentences to O105'waiting area'] [Changed subject of sentences to O106'washroom'] [Changed object of sentences to O106'washroom'] Setting kind of O107'bratty girl' to K26'woman' [Changed subject of sentences to O107'bratty girl'] [Changed object of sentences to O107'bratty girl'] Setting kind of O108'picture id' to K2'thing' [Changed subject of sentences to O108'picture id'] [Changed object of sentences to O108'picture id'] Setting kind of O109'ball-point pen' to K2'thing' [Changed subject of sentences to O109'ball-point pen'] [Changed object of sentences to O109'ball-point pen'] Setting kind of O92'amulet of death' to K2'thing' [Changed subject of sentences to O92'amulet of death'] [Changed object of sentences to O92'amulet of death'] ----------------------------------------------------- Phase VIII ... Making the model world ----------------------------------------------------- Considering implication of K2'thing' for O29'yourself': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Considering implication of K2'thing' for O92'amulet of death': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Setting kind of O94'doorway sign' to K2'thing' Considering implication of K2'thing' for O94'doorway sign': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Deducing kind of O95'foyer' is K1'room' Setting kind of O95'foyer' to K1'room' Considering implication of K2'thing' for O96'kiosk': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) FAIL: take no action Considering implication of K2'thing' for O97'bob': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Deducing kind of O98'main desk' is K1'room' Setting kind of O98'main desk' to K1'room' Setting kind of O99'desk sign' to K2'thing' Considering implication of K2'thing' for O99'desk sign': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Considering implication of K2'thing' for O100'photographer': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Deducing kind of O101'dance floor' is K1'room' Setting kind of O101'dance floor' to K1'room' Deducing kind of O102'testing area' is K1'room' Setting kind of O102'testing area' to K1'room' Deducing kind of O103'clerk windows' is K1'room' Setting kind of O103'clerk windows' to K1'room' Deducing kind of O104'cashier' is K1'room' Setting kind of O104'cashier' to K1'room' Deducing kind of O105'waiting area' is K1'room' Setting kind of O105'waiting area' to K1'room' Deducing kind of O106'washroom' is K1'room' Setting kind of O106'washroom' to K1'room' Considering implication of K2'thing' for O107'bratty girl': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Considering implication of K2'thing' for O108'picture id': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct Considering implication of K2'thing' for O109'ball-point pen': DESCRIPTION_TY(properties:Y'locked' - CONDITION_TY/~'unlocked' -> locked)(kind K2'thing') => ADJECTIVE_NT property:lockable (certainty 1; changed state 1) REDUNDANT: property already correct K1'room' has creator text Word 1350 flags 14353 ex K2'thing' has creator text Word 1356 flags 1048592 ex K3'direction' has creator text Word 1362 flags 2064 ex K4'door' has creator text Word 1368 flags 18480 ex K5'container' has creator text Word 1376 flags 18544 ex K6'supporter' has creator text Word 1384 flags 18480 ex K7'backdrop' has creator text Word 1392 flags 16 ex K8'person' has creator text Word 1414 flags 80 ex K9'region' has creator text Word 1422 flags 48 ex K10'player's holdall' has creator text Word 2289 flags 14416 ex Word 2290 flags 2064 ex K11'device' has creator text Word 2375 flags 16 ex O12'north' has creator text Word 2459 flags 16 ex O13'northeast' has creator text Word 2476 flags 16 ex O14'northwest' has creator text Word 2493 flags 16 ex O15'south' has creator text Word 2510 flags 16 ex O16'southeast' has creator text Word 2527 flags 16 ex O17'southwest' has creator text Word 2544 flags 16 ex O18'east' has creator text Word 2561 flags 16 ex O19'west' has creator text Word 2578 flags 16 ex O20'up' has creator text Word 2595 flags 6160 ex O21'down' has creator text Word 2612 flags 16 ex O22'inside' has creator text Word 2629 flags 2103312 ex O23'outside' has creator text Word 2646 flags 6160 ex K24'animal' has creator text Word 2987 flags 16 ex K25'man' has creator text Word 3017 flags 16 ex K26'woman' has creator text Word 3046 flags 16 ex K27'player-character' has creator text Word 3110 flags 16 ex O29'yourself' has creator text Word 3152 flags 2064 ex K30'vehicle' has creator text Word 3174 flags 2064 ex O92'amulet of death' has creator text Word 51 flags 16 ex Word 52 flags 12624 ex Word 53 flags 16 ex O93'parking lot' has creator text Word 151 flags 1048592 ex Word 152 flags 16 ex O94'doorway sign' has creator text Word 181 flags 16 ex Word 182 flags 16 ex O95'foyer' has creator text Word 208 flags 16 ex O96'kiosk' has creator text Word 241 flags 16 ex O97'bob' has creator text Word 263 flags 16 ex O98'main desk' has creator text
Word 330
flags 16 ex
Word 331 flags 16 ex O99'desk sign' has creator text Word 341 flags 16 ex Word 342 flags 16 ex O100'photographer' has creator text Word 353 flags 16 ex O101'dance floor' has creator text Word 393 flags 16 ex Word 394 flags 16 ex O102'testing area' has creator text Word 417 flags 1048592 ex Word 418 flags 16 ex O103'clerk windows' has creator text Word 441 flags 16 ex Word 442 flags 16 ex O104'cashier' has creator text Word 459 flags 16 ex O105'waiting area' has creator text Word 489 flags 1054736 ex Word 490 flags 16 ex O106'washroom' has creator text Word 569 flags 16 ex O107'bratty girl' has creator text Word 580 flags 16 ex Word 581 flags 16 ex O108'picture id' has creator text Word 673 flags 16 ex Word 674 flags 16 ex O109'ball-point pen' has creator text Word 698 flags 16 ex Word 699 flags 16 ex Grafting O92'amulet of death' to be child of O29'yourself' Grafting O94'doorway sign' to be child of O93'parking lot' Grafting O96'kiosk' to be child of O95'foyer' Grafting O97'bob' to be child of O96'kiosk' Grafting O99'desk sign' to be child of O98'main desk' Grafting O100'photographer' to be child of O98'main desk' Grafting O107'bratty girl' to be child of O106'washroom' Grafting O108'picture id' to be child of O29'yourself' Grafting O109'ball-point pen' to be child of O29'yourself' K0 K1'room' K2'thing' K3'direction' K4'door' K5'container' K6'supporter' K7'backdrop' K8'person' K9'region' K10'player's holdall' K11'device' O12'north' O13'northeast' O14'northwest' O15'south' O16'southeast' O17'southwest' O18'east' O19'west' O20'up' O21'down' O22'inside' O23'outside' K24'animal' K25'man' K26'woman' K27'player-character' O29'yourself' O92'amulet of death' O108'picture id' O109'ball-point pen' K30'vehicle' O93'parking lot' O94'doorway sign' O95'foyer' O96'kiosk' O97'bob' O98'main desk' O99'desk sign' O100'photographer' O101'dance floor' O102'testing area' O103'clerk windows' O104'cashier' O105'waiting area' O106'washroom' O107'bratty girl' ----------------------------------------------------- Phase IX ... Tables and grammar ----------------------------------------------------- Cell in col 0 has type '"'Mrs. Jones, please come and fetch your child from the parking lot.'"'/VALUE_TY/TEXT_TY Cell in col 0 has type '"'Mr. Willard, you have a phone call.'"'/VALUE_TY/TEXT_TY Cell in col 0 has type '"'Attention all customers -- please be sure to '"'/VALUE_TY/TEXT_TY Table data is: Column 0 'announcement' subtype TEXT_TY with data: NOUNPHRASE_NT (no article) NOUNPHRASE_NT <"'Mrs. Jones, please come and fetch your child from the parking lot.'"> (no article) NOUNPHRASE_NT <"'Mr. Willard, you have a phone call.'"> (no article) NOUNPHRASE_NT <"'Attention all customers -- please be sure to '"> (no article) ----------------------------------------------------- Phase X ... Phrases and rules ----------------------------------------------------- Predicate calculus representation of is ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Amending negated exists gives: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Adjusting quantification ranges for values gives: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Making implied kinds explicit gives: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Eliminating to-have on properties: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Which simplifies to: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Predicate calculus representation of is (kind(x)=K2'thing' ^ NOT ^ [ ^ is(x,O92'amulet of death') ^ ] ) Amending negated exists gives: (kind(x)=K2'thing' ^ NOT ^ [ ^ is(x,O92'amulet of death') ^ ] ) Adjusting quantification ranges for values gives: (kind(x)=K2'thing' ^ NOT ^ [ ^ is(x,O92'amulet of death') ^ ] ) Making implied kinds explicit gives: (kind(x)=K2'thing' ^ NOT ^ [ ^ is(x,O92'amulet of death') ^ ] ) Eliminating to-have on properties: (kind(x)=K2'thing' ^ NOT ^ [ ^ is(x,O92'amulet of death') ^ ] ) Which simplifies to: (kind(x)=K2'thing' ^ NOT ^ [ ^ is(x,O92'amulet of death') ^ ] ) Predicate calculus representation of is ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Amending negated exists gives: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Adjusting quantification ranges for values gives: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Making implied kinds explicit gives: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Eliminating to-have on properties: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) Which simplifies to: ( NOT ^ [ ^ is(QUANTITY_TY,O97'bob') ^ ] ) ----------------------------------------------------- Phase XI ... Code generation ----------------------------------------------------- Compiling initial value of quantity: Quantity Story believed variable 'story title' = VALUE_TY/TEXT_TY From initial value '"Driver's License"'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q26_story_headline believed variable 'story headline' = VALUE_TY/TEXT_TY From initial value '"A short interactive story"'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q25_story_author believed variable 'story author' = VALUE_TY/TEXT_TY From initial value '"John Lodder and Ben Collins-Sussman , adapted to I7 by David Anderson"'/VALUE_TY/TEXT_TY Compiling quantity declarations Not declaring Quantity player believed variable 'player' = VALUE_TY/OBJECT_TY Not declaring Quantity real_location believed variable 'location' = VALUE_TY/OBJECT_TY Not declaring Quantity score believed variable 'score' = VALUE_TY/NUMBER_TY Not declaring Quantity MAX_SCORE believed variable 'maximum score' = VALUE_TY/NUMBER_TY Not declaring Quantity turns believed variable 'turn count' = VALUE_TY/NUMBER_TY Not declaring Quantity the_time believed variable 'time of day' = VALUE_TY/TIME_TY Not declaring Quantity noun believed variable 'noun' = VALUE_TY/OBJECT_TY Not declaring Quantity second believed variable 'second noun' = VALUE_TY/OBJECT_TY Not declaring Quantity actor believed variable 'person asked' = VALUE_TY/OBJECT_TY Not declaring Quantity I7_action_deciding_rule believed variable 'reason the action failed' = VALUE_TY/RULE_TY Not declaring Quantity self believed variable 'item described' = VALUE_TY/OBJECT_TY Not declaring Quantity actor believed variable 'person reaching' = VALUE_TY/OBJECT_TY Not declaring Quantity parameter_object believed variable 'container in question' = VALUE_TY/OBJECT_TY Not declaring Quantity I7_concealed_item believed variable 'particular possession' = VALUE_TY/OBJECT_TY Not declaring Quantity I7_command believed variable 'player's command' = VALUE_TY/SNIPPET_TY Not declaring Quantity I7_match_snippet believed variable 'matched text' = VALUE_TY/SNIPPET_TY Not declaring Quantity parsed_number believed variable 'number understood' = VALUE_TY/NUMBER_TY Not declaring Quantity parsed_number believed variable 'time understood' = VALUE_TY/TIME_TY Not declaring Quantity parsed_number believed variable 'topic understood' = VALUE_TY/SNIPPET_TY Not declaring Quantity I7_prompt_text believed variable 'command prompt' = VALUE_TY/CLASSIFIED_TY Not declaring Quantity I7_left_sl believed variable 'left hand status line' = VALUE_TY/CLASSIFIED_TY Not declaring Quantity I7_right_sl believed variable 'right hand status line' = VALUE_TY/CLASSIFIED_TY Not declaring Quantity say__c believed variable 'say-parameter' = VALUE_TY/OBJECT_TY Not declaring Quantity nothing believed variable 'i6-nothing' = VALUE_TY/OBJECT_TY Not declaring Quantity Story believed variable 'story title' = VALUE_TY/TEXT_TY Not declaring Quantity Q25_story_author believed variable 'story author' = VALUE_TY/TEXT_TY Not declaring Quantity Q26_story_headline believed variable 'story headline' = VALUE_TY/TEXT_TY Not declaring Quantity Q27_story_genre believed variable 'story genre' = VALUE_TY/TEXT_TY Not declaring Quantity Q28_story_description believed variable 'story description' = VALUE_TY/TEXT_TY Not declaring Quantity Q29_release_number believed variable 'release number' = VALUE_TY/NUMBER_TY Not declaring Quantity Q30_story_creation_year believed variable 'story creation year' = VALUE_TY/NUMBER_TY Compiling initial value of quantity: Quantity Q25_story_author believed variable 'story author' = VALUE_TY/TEXT_TY From initial value '"John Lodder and Ben Collins-Sussman , adapted to I7 by David Anderson"'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q26_story_headline believed variable 'story headline' = VALUE_TY/TEXT_TY From initial value '"A short interactive story"'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q27_story_genre believed variable 'story genre' = VALUE_TY/TEXT_TY From initial value UNKNOWN_TY Initialising missing initial type: VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q28_story_description believed variable 'story description' = VALUE_TY/TEXT_TY From initial value '"You've been lying about your driver's license for four years. Maybe it's time to really get one!Luckily, a friend drops you off at your local Driver Services Center. These things are optimized to process people quickly, so it shouldn't be too bad."'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q29_release_number believed variable 'release number' = VALUE_TY/NUMBER_TY From initial value UNKNOWN_TY Initialising missing initial type: VALUE_TY/NUMBER_TY Compiling initial value of quantity: Quantity Q30_story_creation_year believed variable 'story creation year' = VALUE_TY/NUMBER_TY From initial value UNKNOWN_TY Initialising missing initial type: VALUE_TY/NUMBER_TY ==== Phase XI.1 ... Compiling the object tree ==== Compiling object definition for K0 Compiling object definition for K1'room' Compiling object definition for K2'thing' Compiling object definition for K3'direction' Initialising: 'opposite' - VALUE_TY/CLASSIFIED_TY -> p10_opposite Initialising: 'inform property' - VALUE_TY/CLASSIFIED_TY -> p11_inform_property Initialising: 'inform object' - VALUE_TY/CLASSIFIED_TY -> p12_inform_object Compiling object definition for K4'door' Compiling object definition for K5'container' Compiling object definition for K6'supporter' Compiling object definition for K7'backdrop' Compiling object definition for K8'person' |PROPERTY_INF| - Likely (carrying capacity) - 100- literal:'100'/VALUE_TY/NUMBER_TYCompiling object definition for K9'region' Compiling object definition for K10'player's holdall' Compiling object definition for K11'device' Compiling object definition for K24'animal' Compiling object definition for K25'man' Compiling object definition for K26'woman' Compiling object definition for K27'player-character' |PROPERTY_INF| - Likely (description) - "As good-looking as ever."- literal:'"As good-looking as ever."'/VALUE_TY/TEXT_TYCompiling object definition for K30'vehicle' Compiling object definition for O12'north' |PROPERTY_INF| - Certain (opposite) - south- 1:O15'south'Compiling object definition for O13'northeast' |PROPERTY_INF| - Certain (opposite) - southwest- 1:O17'southwest'Compiling object definition for O14'northwest' |PROPERTY_INF| - Certain (opposite) - southeast- 1:O16'southeast'Compiling object definition for O15'south' |PROPERTY_INF| - Certain (opposite) - north- 1:O12'north'Compiling object definition for O16'southeast' |PROPERTY_INF| - Certain (opposite) - northwest- 1:O14'northwest'Compiling object definition for O17'southwest' |PROPERTY_INF| - Certain (opposite) - northeast- 1:O13'northeast'Compiling object definition for O18'east' |PROPERTY_INF| - Certain (opposite) - west- 1:O19'west'Compiling object definition for O19'west' |PROPERTY_INF| - Certain (opposite) - east- 1:O18'east'Compiling object definition for O20'up' |PROPERTY_INF| - Certain (opposite) - down- 1:O21'down'Compiling object definition for O21'down' |PROPERTY_INF| - Certain (opposite) - up- 1:O20'up'Compiling object definition for O22'inside' |PROPERTY_INF| - Certain (opposite) - outside- 1:O23'outside'Compiling object definition for O23'outside' |PROPERTY_INF| - Certain (opposite) - inside- 1:O22'inside'Compiling object definition for O29'yourself' Compiling object definition for O92'amulet of death' |PROPERTY_INF| - Certain (description) - "Careful not to look at it directly, it glows menacingly in your hand. Woe to those to stare upon it!"- literal:'"Careful not to look at it directly, it glows menacingly in your hand. Woe to those to stare upon it!"'/VALUE_TY/TEXT_TYCompiling object definition for O108'picture id' |PROPERTY_INF| - Certain (description) - "Ug. Is that really you?"- literal:'"Ug. Is that really you?"'/VALUE_TY/TEXT_TYCompiling object definition for O109'ball-point pen' |PROPERTY_INF| - Certain (description) - "Looking through its transparent body, you can see that it's very low on ink. The tip is covered with bite marks."- literal:'"Looking through its transparent body, you can see that it's very low on ink. The tip is covered with bite marks."'/VALUE_TY/TEXT_TYCompiling object definition for O93'parking lot' |PROPERTY_INF| - Certain (description) - "Crestfallen, you are standing before a large architecturally-deficient building. A long line of miserable people (waiting to be processed) spills into the parking lot, and you're at the end of the line. The line wanders north through the building's only entrance, which is topped by a cheerful sign."- literal:'"Crestfallen, you are standing before a large architecturally-deficient building. A long line of miserable people (waiting to be processed) spills into the parking lot, and you're at the end of the line. The line wanders north through the building's only entrance, which is topped by a cheerful sign."'/VALUE_TY/TEXT_TYCompiling object definition for O94'doorway sign' |PROPERTY_INF| - Certain (description) - "DRIVER SERVICES CENTER[line break]Department of Motor Vehicles[line break]Niles, IL[line break]Working to serve you!"- literal:'"DRIVER SERVICES CENTER[line break]Department of Motor Vehicles[line break]Niles, IL[line break]Working to serve you!"'/VALUE_TY/TEXT_ROUTINE_TYCompiling object definition for O95'foyer' |PROPERTY_INF| - Certain (description) - "You're in the foyer of the Driver Services Center, built to serve [italic type]your[roman type] needs. In every direction there are lines of people waiting to be served in different ways. To the east is that limbo known as the Waiting Area, and complete escape lies to the south."- literal:'"You're in the foyer of the Driver Services Center, built to serve [italic type]your[roman type] needs. In every direction there are lines of people waiting to be served in different ways. To the east is that limbo known as the Waiting Area, and complete escape lies to the south."'/VALUE_TY/TEXT_ROUTINE_TYCompiling object definition for O96'kiosk' |PROPERTY_INF| - Certain (initial appearance) - "A kiosk grows out of the middle of the area."- literal:'"A kiosk grows out of the middle of the area."'/VALUE_TY/TEXT_TYCompiling object definition for O97'bob' |PROPERTY_INF| - Certain (description) - "[if the player is Bob]You're Bob. Gruff and balding, with creaky joints and back pains[otherwise]He's gruff and balding, and looks to old to hold any other job[end if]."- literal:'"[if the player is Bob]You're Bob. Gruff and balding, with creaky joints and back pains[otherwise]He's gruff and balding, and looks to old to hold any other job[end if]."'/VALUE_TY/TEXT_ROUTINE_TY|PROPERTY_INF| - Certain (initial appearance) - "A crusty old man is sitting in the kiosk, staring at you."- literal:'"A crusty old man is sitting in the kiosk, staring at you."'/VALUE_TY/TEXT_TYCompiling object definition for O98'main desk' |PROPERTY_INF| - Certain (description) - "This is the main desk, presumably where the final driver's licenses are handed out. There is a sterm looking sign attached to the desk."- literal:'"This is the main desk, presumably where the final driver's licenses are handed out. There is a sterm looking sign attached to the desk."'/VALUE_TY/TEXT_TYCompiling object definition for O99'desk sign' |PROPERTY_INF| - Certain (description) - "Before receiving your driver's license,[line break]you must present four receipts:1. Proof of ID[line break]2. Proof of Eye Test[line break]3. Proof of Written Test[line break]4. Proof of Road Test[line break]NO EXCEPTIONS"- literal:'"Before receiving your driver's license,[line break]you must present four receipts:1. Proof of ID[line break]2. Proof of Eye Test[line break]3. Proof of Written Test[line break]4. Proof of Road Test[line break]NO EXCEPTIONS"'/VALUE_TY/TEXT_ROUTINE_TYCompiling object definition for O100'photographer' |PROPERTY_INF| - Certain (initial appearance) - "A bored-looking photographer is quietly sitting behind the desk, waiting to take pictures."- literal:'"A bored-looking photographer is quietly sitting behind the desk, waiting to take pictures."'/VALUE_TY/TEXT_TYCompiling object definition for O101'dance floor' |PROPERTY_INF| - Certain (description) - "This is the crossroads, full of people mulling about, but obviously in no mood to dance. Osmotic pressure encourages you to move elsewhere."- literal:'"This is the crossroads, full of people mulling about, but obviously in no mood to dance. Osmotic pressure encourages you to move elsewhere."'/VALUE_TY/TEXT_TYCompiling object definition for O102'testing area' |PROPERTY_INF| - Certain (description) - "Many people scribble furiously at tiny desks."- literal:'"Many people scribble furiously at tiny desks."'/VALUE_TY/TEXT_TYCompiling object definition for O103'clerk windows' |PROPERTY_INF| - Certain (description) - "'May I have your information please?', says a perky woman."- literal:'"'May I have your information please?', says a perky woman."'/VALUE_TY/TEXT_TYCompiling object definition for O104'cashier' |PROPERTY_INF| - Certain (description) - "A bored looking woman is willing to take your money here."- literal:'"A bored looking woman is willing to take your money here."'/VALUE_TY/TEXT_TYCompiling object definition for O105'waiting area' |PROPERTY_INF| - Certain (description) - "You're standing in a drab area with bored-looking people mulling around. Apparently they're there for the same reason you are -- looking for help -- but no one is sure if it will ever come. To the east is a washroom.Time seems to stand still."- literal:'"You're standing in a drab area with bored-looking people mulling around. Apparently they're there for the same reason you are -- looking for help -- but no one is sure if it will ever come. To the east is a washroom.Time seems to stand still."'/VALUE_TY/TEXT_TYCompiling object definition for O106'washroom' |PROPERTY_INF| - Certain (description) - "It's a gross place in here."- literal:'"It's a gross place in here."'/VALUE_TY/TEXT_TYCompiling object definition for O107'bratty girl' ==== Phase XI.2 ... Compiling the tables ==== Compiling column: 'announcement'/TEXT_TY ==== Phase XI.3 ... Compiling the phrases ==== DESCRIPTION_TY Predicate calculus representation of is (exists x: I7_mentioned(x) ^ is(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) Amending negated exists gives: (exists x: I7_mentioned(x) ^ is(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) Adjusting quantification ranges for values gives: (exists x: I7_mentioned(x) ^ is(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) Making implied kinds explicit gives: (exists x: I7_mentioned(x) ^ is(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) Eliminating to-have on properties: (exists x: I7_mentioned(x) ^ is(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) Which simplifies to: I7_mentioned(LOCAL_VARIABLE_TY(t_0;OBJECT_TY)) DESCRIPTION_TY DESCRIPTION_TY Compiling ln as 0 at DESCRIPTION_TY DESCRIPTION_TY DESCRIPTION_TY 'anything that is not the amulet'/DESCRIPTION_TY DESCRIPTION_TY DESCRIPTION_TY DESCRIPTION_TY DESCRIPTION_TY DESCRIPTION_TY Predicate calculus representation of is (exists x: called(x)='the current room' ^ kind(x)=K1'room' ^ is-in(O107'bratty girl',x)) Amending negated exists gives: (exists x: called(x)='the current room' ^ kind(x)=K1'room' ^ is-in(O107'bratty girl',x)) Adjusting quantification ranges for values gives: (exists x: called(x)='the current room' ^ kind(x)=K1'room' ^ is-in(O107'bratty girl',x)) Making implied kinds explicit gives: (exists x: called(x)='the current room' ^ kind(x)=K1'room' ^ is-in(O107'bratty girl',x)) Eliminating to-have on properties: (exists x: called(x)='the current room' ^ kind(x)=K1'room' ^ is-in(O107'bratty girl',x)) Which simplifies to: (called(I7_InWhat(O107'bratty girl'))='the current room' ^ kind(I7_InWhat(O107'bratty girl'))=K1'room') Predicate calculus representation of is (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Amending negated exists gives: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Adjusting quantification ranges for values gives: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Making implied kinds explicit gives: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Eliminating to-have on properties: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Which simplifies to: (kind(x)=K1'room' ^ adjacent-to(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) Predicate calculus representation of is (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Amending negated exists gives: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Adjusting quantification ranges for values gives: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Making implied kinds explicit gives: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Eliminating to-have on properties: (kind(x)=K1'room' ^ adjacent-from(x,LOCAL_VARIABLE_TY(t_0;OBJECT_TY))) Which simplifies to: (kind(x)=K1'room' ^ adjacent-to(LOCAL_VARIABLE_TY(t_0;OBJECT_TY),x)) 'room which is adjacent to the current room'/DESCRIPTION_TY Predicate calculus representation of is (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Amending negated exists gives: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Adjusting quantification ranges for values gives: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Making implied kinds explicit gives: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Eliminating to-have on properties: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Which simplifies to: Adj_1(O107'bratty girl') Compiling ln as 0 at Predicate calculus representation of is (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Amending negated exists gives: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Adjusting quantification ranges for values gives: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Making implied kinds explicit gives: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Eliminating to-have on properties: (exists x: Adj_1(x) ^ is(O107'bratty girl',x)) Which simplifies to: Adj_1(O107'bratty girl') ==== Phase XI.4 ... Compiling the rulebooks ==== Predicate calculus representation of is adjacent-from(LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY),QUANTITY_TY) Amending negated exists gives: adjacent-from(LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY),QUANTITY_TY) Adjusting quantification ranges for values gives: adjacent-from(LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY),QUANTITY_TY) Making implied kinds explicit gives: adjacent-from(LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY),QUANTITY_TY) Eliminating to-have on properties: adjacent-from(LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY),QUANTITY_TY) Which simplifies to: adjacent-to(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Predicate calculus representation of is can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Amending negated exists gives: can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Adjusting quantification ranges for values gives: can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Making implied kinds explicit gives: can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Eliminating to-have on properties: can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Which simplifies to: can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Predicate calculus representation of is can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Amending negated exists gives: can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Adjusting quantification ranges for values gives: can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Making implied kinds explicit gives: can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Eliminating to-have on properties: can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Which simplifies to: can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Predicate calculus representation of is ( NOT ^ [ ^ can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Amending negated exists gives: ( NOT ^ [ ^ can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Adjusting quantification ranges for values gives: ( NOT ^ [ ^ can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Making implied kinds explicit gives: ( NOT ^ [ ^ can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Eliminating to-have on properties: ( NOT ^ [ ^ can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Which simplifies to: ( NOT ^ [ ^ can-see(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Predicate calculus representation of is ( NOT ^ [ ^ can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Amending negated exists gives: ( NOT ^ [ ^ can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Adjusting quantification ranges for values gives: ( NOT ^ [ ^ can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Making implied kinds explicit gives: ( NOT ^ [ ^ can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Eliminating to-have on properties: ( NOT ^ [ ^ can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Which simplifies to: ( NOT ^ [ ^ can-touch(QUANTITY_TY,LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Predicate calculus representation of is conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Amending negated exists gives: conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Adjusting quantification ranges for values gives: conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Making implied kinds explicit gives: conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Eliminating to-have on properties: conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Which simplifies to: conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) Predicate calculus representation of is ( NOT ^ [ ^ conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Amending negated exists gives: ( NOT ^ [ ^ conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Adjusting quantification ranges for values gives: ( NOT ^ [ ^ conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Making implied kinds explicit gives: ( NOT ^ [ ^ conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Eliminating to-have on properties: ( NOT ^ [ ^ conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) Which simplifies to: ( NOT ^ [ ^ conceals(function['the holder of it'/PHRASE_TY/TO_DECIDE_TY],LOCAL_VARIABLE_TY(t_0;I6_OBJECT_SPEC_TY)) ^ ] ) ==== Phase XI.5 ... Compiling the text routines ==== Predicate calculus representation of is is(QUANTITY_TY,O97'bob') Amending negated exists gives: is(QUANTITY_TY,O97'bob') Adjusting quantification ranges for values gives: is(QUANTITY_TY,O97'bob') Making implied kinds explicit gives: is(QUANTITY_TY,O97'bob') Eliminating to-have on properties: is(QUANTITY_TY,O97'bob') Which simplifies to: is(QUANTITY_TY,O97'bob') ==== Phase XI.6 ... Compiling the loop-over-scope routines ==== ==== Phase XI.7 ... Compiling the named action patterns ==== ==== Phase XI.8 ... Compiling the action routines ==== Compiling initial value of quantity: Quantity the_time believed variable 'time of day' = VALUE_TY/TIME_TY From initial value UNKNOWN_TY Initialising missing initial type: VALUE_TY/TIME_TY ==== Phase XI.9 ... Compiling chronology ==== DESCRIPTION_TY DESCRIPTION_TY DESCRIPTION_TY ----------------------------------------------------- Phase XII ... Compiling grammar ----------------------------------------------------- ==== Phase XII.1 ... Slashing grammar ==== ==== Phase XII.2 ... Finding grammar results ==== ==== Phase XII.3 ... Compiling type gprs ==== ==== Phase XII.4 ... Compiling filters ==== ==== Phase XII.5 ... Compiling grammar verbs ==== ----------------------------------------------------- Phase XIII ... Debugging verbs at run-time ----------------------------------------------------- ----------------------------------------------------- Phase XIV ... Winding up ----------------------------------------------------- ==== Phase XIV.1 ... Compiling routines from predicate calculus ==== ----------------------------------------------------- Phase XV ... Compilation now complete ----------------------------------------------------- Compiling initial value of quantity: Quantity Story believed variable 'story title' = VALUE_TY/TEXT_TY From initial value '"Driver's License"'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q25_story_author believed variable 'story author' = VALUE_TY/TEXT_TY From initial value '"John Lodder and Ben Collins-Sussman , adapted to I7 by David Anderson"'/VALUE_TY/TEXT_TY Compiling initial value of quantity: Quantity Q28_story_description believed variable 'story description' = VALUE_TY/TEXT_TY From initial value '"You've been lying about your driver's license for four years. Maybe it's time to really get one!Luckily, a friend drops you off at your local Driver Services Center. These things are optimized to process people quickly, so it shouldn't be too bad."'/VALUE_TY/TEXT_TY Report by memory manager: Memory blocks (100K each) allocated: 43 parse_node - 5189 objects, 498144 bytes (0.113) vocabulary_entry_block - 37 blocks of 100 objects, 163392 bytes (0.037) excerpt_meaning - 1975 objects, 316000 bytes (0.071) heading - 73 objects, 7008 bytes (0.001) phrase - 324 objects, 756864 bytes (0.171) action_name - 80 objects, 9920 bytes (0.002) action_pattern_block - 1 blocks of 100 objects, 10816 bytes (0.002) inference_block - 3 blocks of 100 objects, 13248 bytes (0.003) source_file - 2 objects, 2144 bytes (0.000) grammar_verb - 89 objects, 17444 bytes (0.003) grammar_line - 154 objects, 15400 bytes (0.003) property_name - 59 objects, 7080 bytes (0.001) property_permission - 49 (+19 deleted) objects, 3536 bytes (0.000) extension_file - 1 objects, 2068 bytes (0.000) rulebook - 343 objects, 27440 bytes (0.006) booked_rule - 669 objects, 50844 bytes (0.011) phrase_option_block - 1 blocks of 100 objects, 816 bytes (0.000) quantity - 31 objects, 10044 bytes (0.002) table - 1 objects, 244 bytes (0.000) table_column - 1 objects, 36 bytes (0.000) world_object - 48 (+62 deleted) objects, 140800 bytes (0.031) type_specification_block - 79 blocks of 50 objects, 475264 bytes (0.107) literal_text - 5 (+50 deleted) objects, 1100 bytes (0.000) text_routine - 4 objects, 144 bytes (0.000) invocation_block - 6 blocks of 100 objects, 76896 bytes (0.017) action_name_list_block - 1 blocks of 1000 objects, 44016 bytes (0.009) map_component - 1 objects, 56 bytes (0.000) implication - 1 objects, 28 bytes (0.000) activity - 24 objects, 1632 bytes (0.000) activity_list_block - 1 blocks of 1000 objects, 20016 bytes (0.004) use_option - 9 objects, 252 bytes (0.000) i6_memory_setting - 8 objects, 640 bytes (0.000) documentation_ref - 109 objects, 2180 bytes (0.000) adjectival_phrase - 9 objects, 324 bytes (0.000) definition - 9 objects, 2016 bytes (0.000) lexicon_entry - 102 objects, 9792 bytes (0.002) plural_dictionary_entry - 4 objects, 112 bytes (0.000) meaning_list_block - 7 blocks of 1000 objects, 252112 bytes (0.057) verb_usage - 181 objects, 9412 bytes (0.002) preposition_usage - 73 objects, 3504 bytes (0.000) type_reference_block - 2 blocks of 1000 objects, 32032 bytes (0.007) binary_predicate - 100 objects, 16800 bytes (0.003) pcalc_prop_block - 1 blocks of 1000 objects, 80016 bytes (0.018) pcalc_func_block - 1 blocks of 1000 objects, 24016 bytes (0.005) pcalc_prop_deferral - 1 objects, 92 bytes (0.000) command_index_entry - 176 objects, 4928 bytes (0.001) extension_census_datum - 14 objects, 12544 bytes (0.002) extension_dictionary_entry - 420 objects, 157920 bytes (0.035) i6_schema_block - 2 blocks of 100 objects, 25632 bytes (0.005) past_tense_action_record - 3 objects, 372 bytes (0.000) Overhead - 1096064 bytes (0.248) Total memory consumption: 4300K That concludes the debugging log from this run of NI. Its contents were as follows, and can be changed by placing text like 'Include property creations in the debugging log.' or 'Omit everything from the debugging log.' in the source. Included: debugging log inclusions debugging log contents verifications semantic transformations object creations action creations property creations property provision changes of kind asterisked syntax type creations brief picture object tree quantity compilation object compilation quantity creations pronouns implications table construction predicate calculus Omitted: constructed plurals constructed past participles rule attachments library rules assertions inferences property assignments type casts property translations phrasebook phrase creations phrase action patterns phrase comparisons phrase compilation type specification reservoir expressions invocations rulebook compilation grammar lexical output headings memory allocation grammar construction text routine compilation action pattern compilation vocabulary time periods description compilation local variables spatial map excerpt parsing excerpt meanings s grammar noun phrase resolution predicate calculus workings extensions census action pattern parsing type permissions type usage assemblies invocation workings