supersedes constant

String const supersedes

Source replaces or supersedes target (belief revision).

Implementation

static const String supersedes = 'SUPERSEDES';