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