Between PN always ImplicationLink