Adding provided code, test code, and all the training data
Fixing one-level transitivity, need to add rule for PP inside PPs