create implication the_dark_knight -> batman_(series)
create implication the_dark_knight_rises -> batman_(series)
create implication batman:_arkham_asylum -> batman_(series)
create implication batman:_arkham_city -> batman_(series)
create implication batman:_arkham_knight -> batman_(series)
create implication batman_returns -> batman_(series)