BUR #29611 has been approved by @nonamethanks.
create implication monster_high_(g1) -> monster_high
create implication monster_high_(g2) -> monster_high
create implication monster_high_(g3) -> monster_high
These existed but never really got properly handled so I populated them. They should imply the franchise tag.