structure D:=(t:A)(c N:={s with} 0