-- define our operators: remove-pre-X |*> #=> rewrite(|_self>,|X >,|>) remove-post-X |*> #=> rewrite(|_self>,| X>,|>) pre-class-op |*> #=> remove-pre-X clean select[1,10] similar-input[class-2-1] class-2-1 merge-labels(|X > + |_self>) post-class-op |*> #=> remove-post-X clean select[1,10] similar-input[class-2-2] class-2-2 merge-labels(|_self> + | X>) intn-class-op |*> #=> intn(pre-class |_self>, post-class |_self>) -- apply them: |null> => map[pre-class-op,pre-class] clean select[1,2000] class-1-1 |X> |null> => map[post-class-op,post-class] clean select[1,2000] class-1-1 |X> |null> => map[intn-class-op,intn-class] clean select[1,2000] class-1-1 |X> -- print out the results: |null> => table[word,intn-class] rel-kets[intn-class] |>