Argument names in uniterms 3

Test Type	NegativeSyntaxTest
Contributor	Stella Mitchell
Status	Rejected
Record	F2F13
Dialect	BLD
Purpose	Test syntax for argument names in named-argument uniterms
Description	An argument name in a named-argument uniterm can be any unicode string except for one that is, as determined by its syntax, a RIF constant symbol or a RIF variable symbol (i.e. the set ArgNames is disjoint from the sets Const and Var). The argument name in the fact shown below is a constant in the http://www.w3.org/2001/XMLSchema#string symbol space (because "http://example.com/example#color" is equivalent to "http://example.com/example#color"^^<http://www.w3.org/2001/XMLSchema#string> in the Presentation Syntax), and so it is not a valid argument name.
SeeAlso	Argument_names_in_uniterms_1 Argument_names_in_uniterms_2 Argument_names_in_uniterms_4
SpecRef	http://www.w3.org/2005/rules/wiki/BLD#Alphabet_of_RIF-BLD http://www.w3.org/2005/rules/wiki/DTB#Constants_and_Symbol_Spaces
Input	Presentation Syntax Document( Group ( _p("http://example.org/example#color"->"green") ) ) XML view RIF/XML