Modify logic knowledge base
Modify logic knowledge base #2