Question: Is the publication date after 2012 for the activity whose MAME ROM name is batman?
Options:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown