roperties: • Input: a pair of links (LI, L2), where LI and L2 are the same type, and must be one of InheritanceLink, ImplicationLink, SubsetLink or ExtensionalimplicationLink • Output: a single link, of the same type as the input The actual PLN Rules and Formulas are then packed into the internal execution methods of Gr