{"highor-order logic":{"translation":"[计] 高阶逻辑","word":"highor-order logic"}}