|
parid2233
| Mon, 24 Feb 2003 13:11:08
An "assertion Ttype" node. The subject of a t-node is a type of
assertions.
Strike in favor of parid2297.
Avoid restatement of term and reference to things outside the required definition. |