+STR +DOC +MAP =VAL : =VAL :a =VAL : =VAL :b -MAP -DOC -STR