Assertion

This is the Subgraph of a Semantic Network spanned by the inst links and relations between objects.