parid0325 | Sat, 01 Mar 2003 16:30:41
This RM4TM does not require TM Applications to define properties whose values reflect the internal structure of assertions comprehensively.
Sorry, lost me on this one. What would comprehensively look like?