DomainModel for MiniPL