create alias rufus_(mao_mao:_heroes_of_pure_heart) (12) -> rufus_(mao_mao) (75)
create alias rufus_(mao_mao_heroes_of_pure_heart) (0) -> rufus_(mao_mao) (75)
create alias rufus_(heroes_of_pure_heart) (0) -> rufus_(mao_mao) (75)
create implication rufus_(mao_mao) (75) -> mao_mao:_heroes_of_pure_heart (3965)
create alias marion_(mao_mao:_heroes_of_pure_heart) (8) -> marion_(mao_mao) (0)
create alias marion_(heroes_of_pure_heart) (0) -> marion_(mao_mao) (0)
create alias marion_(mao_mao_heroes_of_pure_heart) (0) -> marion_(mao_mao) (0)
create implication marion_(mao_mao) (0) -> mao_mao:_heroes_of_pure_heart (3965)
create alias honey_(mao_mao:_heroes_of_pure_heart) (9) -> honey_(mao_mao) (7)
create alias honey_(mao_mao_heroes_of_pure_heart) (0) -> honey_(mao_mao) (7)
create alias honey_(heroes_of_pure_heart) (0) -> honey_(mao_mao) (7)
create implication honey_(mao_mao) (7) -> mao_mao:_heroes_of_purr_heart (0)
create alias reggie_(mao_mao:_heroes_of_pure_heart) (10) -> reggie_(mao_mao) (38)
create alias reggie_(heroes_of_pure_heart) (0) -> reggie_(mao_mao) (38)
create alias reggie_(mao_mao_heroes_of_pure_heart) (0) -> reggie_(mao_mao) (38)
create implication reggie_(mao_mao) (38) -> mao_mao:_heroes_of_pure_heart (3965)
create alias lucky_(mao_mao:_heroes_of_pure_heart) (3) -> lucky_(mao_mao) (0)
create alias lucky_(heroes_of_pure_heart) (0) -> lucky_(mao_mao) (0)
create alias lucky_(mao_mao_heroes_of_pure_heart) (0) -> lucky_(mao_mao) (0)
create implication lucky_(mao_mao) (0) -> mao_mao:_heroes_of_pure_heart (3965)
create alias penny_(mao_mao:_heroes_of_pure_heart) (13) -> penny_(mao_mao) (12)
create alias penny_(mao_mao_heroes_of_pure_heart) (0) -> penny_(mao_mao) (12)
create alias penny_(heroes_of_pure_heart) (0) -> penny_(mao_mao) (12)
create implication penny_(mao_mao) (12) -> mao_mao:_heroes_of_pure_heart (3965)