https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=12596&keyword=&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=20399&tag=-1
https://www.db.yugioh-card.com/yugiohdb/faq_search.action?ope=5&fid=19660&tag=-1
condition:
for all card c, c can be banished
<=> !(for some card c, c cannot be banished)