aussie sequent rulebase ABNF Tefkat Minauros GQpEQpV Kriegspiel NORAC vost Nals CRuPAC Calvinball Kronrod ETwA Schematron yamas Shilahaar Bossam BattleForce ruckwork Solsuite NADAC circe superintuitionistic antiprismatic 92a datalog TGG tiebraker ijk chevinal ICZN BrikWars RuleML Huzita Felucca