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