| is a submodule of | 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| has modular siblings | 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| inherits from | 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| is inherited by | 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| has class siblings | 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| has properties | 
 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| is defined at | 
 | 
<Toplevel Module>
					TmDoc
								Model
											Module
														Logical
																	Abstraction
																				| class: | Subject | |||||
| class: | SeqOfSubject | |||||
| class: | SetOfSubject | |||||
| class: | LeafSubject | |||||
| class: | SeqOfLeafSubject | |||||
| ✗ | class: | 
																											SetOfLeafSubject
																										 | ||||
| class: | PairOfUniqueNumber | |||||
| class: | MapOfPropertyToUniqueNumber | |||||
| class: | Directive | |||||
| class: | Property | |||||
| class: | SetOfProperty | |||||
| class: | GenericModule | |||||
| class: | SetOfModule | |||||
| class: | MapOfPathToModule | |||||
| class: | RootModule | |||||
| class: | ChildModule | |||||
| class: | GenericClass | |||||
| class: | ChildClass | 
Leaf
																				| class: | SetOfConstant | |||||
| class: | SetOfExtend | |||||
| class: | SetOfInclude | 
Object
						(
						Builtin-Module
						)
					Abstract
									(
									TmStd::Lsm
									)
								Abstract
												(
												TmStd::Lsm::Product
												)
											Abstract
												(
												TmStd::Lsm::Collection
												)
											| includes | 
 | ||||||||||||||||||||
| has properties | 
 | 
Abstract
															(
															TmStd::Lsm::Collection::Sequence
															)
														Abstract
															(
															TmStd::Lsm::Collection::Set
															)
														| has properties | 
 | 
SetOfGenericSubject
																		(
																		TmDoc::Model::Abstraction::Subject
																		)
																	| has properties | 
 | 
SetOfLogicalSubject
																					(
																					TmDoc::Model::Abstraction::Subject
																					)
																				| has properties | 
 | 
SetOfSubject
																								(
																								TmDoc::Model::Module::Logical::Abstraction
																								)
																							| includes | 
 | ||||
| has properties | 
 | 
																												SetOfLeafSubject
																											
																											(
																											TmDoc::Model::Module::Logical::Abstraction
																											)
																										| has properties | 
 | 
SetOfModule
																											(
																											TmDoc::Model::Module::Logical::Abstraction
																											)
																										SetOfProperty
																		(
																		TmDoc::Model::Module::Logical::Abstraction
																		)
																	Abstract
															(
															TmStd::Lsm::Collection::Map
															)