| Line 1,817: | Line 1,817: | 
|  |  |  |  | 
|  | <br> |  | <br> | 
|  | + |  | 
|  | + | ===Type Tables=== | 
|  |  |  |  | 
|  | ====Current Work==== |  | ====Current Work==== | 
|  | + |  | 
|  | + | <br> | 
|  | + |  | 
|  | + | <pre> | 
|  | + | Table 47.1  Basic Types for ERs & IRs of Sign Relations | 
|  | + | 	Type	Symbol | 
|  | + |  Property	P | 
|  | + |  Sign	S | 
|  | + |  Set	S | 
|  | + |  Triple	T | 
|  | + |  Underlying Element	U | 
|  | + | </pre> | 
|  | + |  | 
|  | + | <br> | 
|  | + |  | 
|  | + | <pre> | 
|  | + | Table 47.2  Derived Types for ERs of Sign Relations | 
|  | + | 	Type	Symbol	Construction | 
|  | + | 	Relation	R	S(T(U)) | 
|  | + | </pre> | 
|  | + |  | 
|  | + | <br> | 
|  | + |  | 
|  | + | <pre> | 
|  | + | Table 47.3  Derived Types for IRs of Sign Relations | 
|  | + | 	Type	Symbol	Construction | 
|  | + | 	Relation	P(R)	P(S(T(U))) | 
|  | + | </pre> | 
|  | + |  | 
|  | + | <br> |