Mantis Bug Tracker

View Revisions: Issue #218 All Revisions ] Back to Issue ]
Summary 0000218: Contradiction message fails to account for the underlying cause
Revision 2010-08-06 17:43 by EmacsUser
Description I (EmacsUser) am splitting this off of 0000209 because it concerns a distinct error message.

When compiling the attached source text, Inform correctly recognizes that the author has asked for a contradiction: hairspray, an object because it was not declared otherwise, needs to be part of two hairstyles, even though incorporation is modeled as a tree. However, the error message is just:

Problem. You wrote 'There is a hairstyle' , but in another sentence 'There is a hairstyle' : but this looks like a contradiction, which might be because I have misunderstood what was meant to be the subject of one or both of those sentences.

There is no mention of the line ``Every hairstyle incorporates hairspray,'' which is the crux of the matter.

This might not be so easy to fix though. Consider:

Example A
- - - -
There is a room.
A hairstyle is a kind of thing.
A hairspray is a kind of thing.
Every hairstyle incorporates a hairspray.
Every hairspray incorporates a propellant.
There is a hairstyle.
There is a hairstyle.
- - - -

In that case the blame could be put on either the fourth or the fifth lines (or both).

Interestingly, triggering this error with the help of the pre-declared person ``yourself,''

Example B
- - - -
There is a room.
Every person incorporates a mind.
There is a person.
- - - -

yields a different sort of message:

Problem. You wrote 'There is a person' , but in another sentence 'Every person incorporates a mind' : but this looks like a contradiction, which might be because I have misunderstood what was meant to be the subject of one or both of those sentences.

Similarly,

Example C
- - - -
There is a room.
A mind is a kind of thing.
Every person incorporates a mind.
Every mind incorporates a neuron.
There is a person.
- - - -

results in

Problem. You wrote 'There is a person' , but in another sentence 'Every mind incorporates a neuron' : but this looks like a contradiction, which might be because I have misunderstood what was meant to be the subject of one or both of those sentences.

which would suggest that, for consistency, Inform should blame the propellant line in Example A.
Revision 2010-08-06 17:42 by EmacsUser
Description I'm splitting this off of 0000209 because it concerns a distinct error message.

When compiling the attached source text, Inform correctly recognizes that the author has asked for a contradiction: hairspray, an object because it was not declared otherwise, needs to be part of two hairstyles, even though incorporation is modeled as a tree. However, the error message is just:

Problem. You wrote 'There is a hairstyle' , but in another sentence 'There is a hairstyle' : but this looks like a contradiction, which might be because I have misunderstood what was meant to be the subject of one or both of those sentences.

There is no mention of the line ``Every hairstyle incorporates hairspray,'' which is the crux of the matter.

This might not be so easy to fix though. Consider:

Example A
- - - -
There is a room.
A hairstyle is a kind of thing.
A hairspray is a kind of thing.
Every hairstyle incorporates a hairspray.
Every hairspray incorporates a propellant.
There is a hairstyle.
There is a hairstyle.
- - - -

In that case the blame could be put on either the fourth or the fifth lines (or both).

Interestingly, triggering this error with the help of the pre-declared person ``yourself,''

Example B
- - - -
There is a room.
Every person incorporates a mind.
There is a person.
- - - -

yields a different sort of message:

Problem. You wrote 'There is a person' , but in another sentence 'Every person incorporates a mind' : but this looks like a contradiction, which might be because I have misunderstood what was meant to be the subject of one or both of those sentences.

Similarly,

Example C
- - - -
There is a room.
A mind is a kind of thing.
Every person incorporates a mind.
Every mind incorporates a neuron.
There is a person.
- - - -

results in

Problem. You wrote 'There is a person' , but in another sentence 'Every mind incorporates a neuron' : but this looks like a contradiction, which might be because I have misunderstood what was meant to be the subject of one or both of those sentences.

which would suggest that, for consistency, Inform should blame the propellant line in Example A.


Copyright © 2000 - 2010 MantisBT Group
Powered by Mantis Bugtracker