Here, we allow not only instance-level inductive implications, but utilize it to get higher-level inductive implications.
we alter similarity space so that it can detect other clusters by changing the topology of the original space.