parid0210 | Tue, 25 Feb 2003 17:04:28
Well-formedness constraints on Assertions
(strike)
Dropping well-formedness