Logic of DarScore1