is replaced by

This is a label for isReplacedBy.