This is the supplementary material of the paper, where we provide 3 folders:

1. ILP tasks
This folder contains the codes for solving the ILP tasks.

2. Systematicity
This folder contains the codes for systematicity tests.

3. Knowledge Graph Completion
This folder contains the codes for knowledge graph completion tasks.

These codes are not the complete version, for example, in the implementation of KG completion, we didn't include functionalities including batch training for acceleration and variants of the update functions. However, these codes are able to provide most of the experimental results in the paper as well. The final version of codes are still under configuration and we'll release them as soon as possible.