like X_Link A B X_Link B C And its output then looks like X_Link A C Here, X_Link may be either InheritanceLink, SubsetLink, ImplicationLink or Extension- allmplicationLink. A PLN formula goes along with a PLN rule, and tells the uncertain truth value of the output, based on the uncertain truth value