expand_less

结果'proposition'

2 模板可用。