Adding Inference relationship, WasInferredFrom