+STR +DOC =VAL :a b c d\ne -DOC -STR