test case Named_Argument_Uniterms_non-polymorphic

I find the name of this test case confusing because it seems to conflict
with the terminology in example 2 (the first within that example) in the FLD
section on well-formed formulas [1], where it refers to p as polymorphic
because it has several arities? Since this test case is now a
NegativeEntailment and not a NegativeSyntax test, it shows that p can
validly have multiple arities (regardless of the entailments)?

Stella

[1]  http://www.w3.org/2005/rules/wiki/FLD#Well-formed_Terms_and_Formulas