标签:从已确定的断言中产生新断言的过程