自然语言作为一种推论是符号具有哪些的特点？