Rule 309.1 · Dungeons
Dungeon is a card type seen only on nontraditional Magic cards.
Ask the judge Pro
The life counter has an AI judge that answers your play citing the exact rules. It is part of Gatewatch Pro; the rules, Oracle text and rulings stay free.