Taral wrote: >So we have two reasonable (IMO) interpretations of the statement that >result in opposite conclusions. Would this not be sufficient grounds >for a conclusion of UNDECIDABLE?
No. UNDECIDABLE is a substantive outcome on a par with TRUE and FALSE. If you can't decide which substantive judgement is applicable, then that's grounds to judge UNDETERMINED. -zefram
