BUR #63139 has been rejected.
create implication captain_marvel_(carol_danvers) -> captain_marvel_(marvel)
Since Captain Marvel is an overarching role that has been taken by multiple characters, it makes sense to put all derivations under one umbrella term