hi mike, > Has anybody successfully created a new-style SEM-I? Can anyone tell me what > I'm doing wrong? have you turned on new-style predicate normalization? see *normalize-predicates-p* in ‘mrsglobals.lsp’ of the 1214 release of the ERG. oe