ceEdge A S InheritanceEdge B C Then encapsulation may create ConceptNodes A', B' and C' for A, B and C, and Inheri- tanceLinks corresponding to the InheritanceEdges, where e.g. A' is a set containing all the Atoms contained in the static map A. First-order PLN inference will then immediately con- clude: Inherit