Danmarks Riges Grundlov
En kildefast kodeudgave af Danmarks Riges Grundlov af 5. juni 1953. Den officielle ordlyd står først ved hver bestemmelse; den tilhørende Futuruna-model følger umiddelbart efter som typer, værdier og navngivne regler.
Om udgaven
Kildemodellen fastholder de aktører, relationer, betingelser, undtagelser og retsvirkninger, som ordlyden udtrykker. Den tilføjer ikke en negativ regel, blot fordi teksten er tavs om et spørgsmål.
Hver lovtekst og dens regler er knyttet sammen med et entydigt metadataanker. Fortolkninger og prøvningsfund ligger i særskilte filer, så det altid er synligt, hvad der kommer fra ordlyden, hvad der er en valgt forståelse, og hvad en konkret kontrol faktisk viser.
Fælles domæne og kildemetadata
@ sprog da
-- Fælles domæne og typet kildeprotokol for grundlovskorpuset.
# Dato(år: Heltal, måned: Heltal, dag: Heltal)
# Brøk(tæller: Heltal, nævner: Heltal)
# Medlemsopbakning(antal: Heltal, medlemmer_i_alt: Heltal)
# Rigsdel = Danmark | Færøerne | Grønland
# Statsmagt = Lovgivende | Udøvende | Dømmende
# Statsorgan = KongenSomStatsorgan | Folketinget | Domstolene
# Udøvelsesform = Hos(organ: Statsorgan) | IForening(organ: Statsorgan, medorgan: Statsorgan)
# Magtplacering(magt: Statsmagt, udøvelse: Udøvelsesform)
# Køn = Mand | Kvinde
# Trossamfund = EvangeliskLuthersk | Andet(navn: Tekst)
# Samtykke = Givet | IkkeGivet
# Forsikringsstatus = IkkeAfgivet | AfgivetSomTronfølger
# Monark(alder: Heltal, trossamfund: Trossamfund, forsikring: Forsikringsstatus)
# Tronfølger(alder: Heltal, trossamfund: Trossamfund, forsikring: Forsikringsstatus)
# Modellag = Kildemodel | Fortolkningsmodel(navn: Tekst)
# Udsagnsstatus = TekstnærKontrol | Modelresultat | Fortolkningsspørgsmål | RetskildestøttetKonklusion
# Prøvningsomfang = EnkeltScenarie | Scenariesamling | Grænseanalyse | UdtømmendeLukketDomæne | AfgrænsetSøgning(beskrivelse: Tekst)
# GrundlovKildeInfo(url: Tekst, identifier: Tekst, hentet_dato: Dato)
# Fortolkningsgrundlag(kilder: List(GrundlovKildeInfo), forudsætninger: List(Tekst))
# GrundlovMetaRolle(a) = Source(value: a) | SupportingSource(value: a)
# GrundlovMetadata(a) = GrundlovMetadata(attachments: a)
# impl MetaRole for GrundlovMetaRolle {}
# impl Meta for GrundlovMetadata {}
| brøk_er_gyldig(andel: Brøk) -> andel.tæller >= 0 && andel.nævner > 0
| medlemsopbakning_er_gyldig(opbakning: Medlemsopbakning) -> opbakning.antal >= 0 && opbakning.medlemmer_i_alt > 0 && opbakning.antal <= opbakning.medlemmer_i_alt
| medlemsopbakning_er_mindst(opbakning: Medlemsopbakning, andel: Brøk) -> medlemsopbakning_er_gyldig(opbakning) && brøk_er_gyldig(andel) && opbakning.antal * andel.nævner >= opbakning.medlemmer_i_alt * andel.tæller
= grundlov_retsinformation = GrundlovKildeInfo(
url = "https://www.retsinformation.dk/eli/lta/1953/169",
identifier = "Danmarks Riges Grundlov, LOV nr. 169 af 05/06/1953",
hentet_dato = Dato(år = 2026, måned = 8, dag = 12)
)
= grundlov_folketinget = GrundlovKildeInfo(
url = "https://www.ft.dk/da/dokumenter/bestil-publikationer/publikationer/grundloven/danmarks-riges-grundlov",
identifier = "Folketingets parlamentariske tekstspejl af Danmarks Riges Grundlov",
hentet_dato = Dato(år = 2026, måned = 8, dag = 12)
)
= grundlov_kildemetadata = GrundlovMetadata(
attachments = (
Source(value = grundlov_retsinformation),
SupportingSource(value = grundlov_folketinget),
)
)
Kapitel I — Statsformen (§§ 1-4)
@ sprog da
@ importer ./grundlov - faelles
--@label:grundlov_indledning::meta:grundlov_kildemetadata--
----
Danmarks Riges Grundlov (Grundloven) (* 1)
Vi Frederik den Niende, af Guds Nåde Konge til Danmark, de Venders og Goters,
Hertug til Slesvig, Holsten, Stormarn, Ditmarsken, Lauenborg og Oldenborg, Gør
vitterligt: I overensstemmelse med bestemmelserne i § 94 i Danmarks Riges
Grundlov af 5. juni 1915 med ændringer af 10. september 1920 har rigsdagen 2
gange vedtaget, og folketingsvælgerne ved en den 28. maj 1953 afholdt
folkeafstemning godkendt, hvorefter Vi nu ved Vort allerhøjeste samtykke
stadfæster DANMARKS RIGES GRUNDLOV
----
--@begin:grundlov_indledning--
= grundlovsfolkeafstemningens_dato = Dato(år = 1953, måned = 5, dag = 28)
| rigsdagen_vedtog_grundloven_to_gange()
| dato_for_grundlovsfolkeafstemningen() -> grundlovsfolkeafstemningens_dato
| folketingsvælgerne_godkendte_grundloven_ved_folkeafstemning(dato: Dato) -> dato == grundlovsfolkeafstemningens_dato
| kongen_stadfæstede_grundloven()
--@end:grundlov_indledning--
-- ═══════════════════════════════════════════════════════════════
-- Kapitel I — Statsformen (§ 1–4)
-- ═══════════════════════════════════════════════════════════════
--@label:grundlov_par1::meta:grundlov_kildemetadata--
----
§ 1. Denne grundlov gælder for alle dele af Danmarks Rige.
----
--@begin:grundlov_par1--
| grundloven_gælder_for_alle_dele_af_riget()
| grundloven_gælder_for(del: Rigsdel) -> Sandt
--@end:grundlov_par1--
--@label:grundlov_par2::meta:grundlov_kildemetadata--
----
§ 2. Regeringsformen er indskrænket-monarkisk.
Kongemagten nedarves til mænd og kvinder efter de i
tronfølgeloven af 27. marts 1953 fastsatte regler.
----
--@begin:grundlov_par2--
| regeringsformen_er_indskrænket_monarkisk()
| tronfølgeloven_regulerer_arvefølgen()
| kongemagten_nedarves_til(køn: Køn) -> Sandt
= tronfølgeloven_dato = Dato(år = 1953, måned = 3, dag = 27)
| dato_for_tronfølgeloven() -> tronfølgeloven_dato
--@end:grundlov_par2--
--@label:grundlov_par3::meta:grundlov_kildemetadata--
----
§ 3. Den lovgivende magt er hos kongen og folketinget i forening.
Den udøvende magt er hos kongen.
Den dømmende magt er hos domstolene.
----
--@begin:grundlov_par3--
| statsmagtens_placering(magt: Statsmagt) -> match magt {
| Lovgivende -> Magtplacering(
magt = Lovgivende,
udøvelse = IForening(
organ = KongenSomStatsorgan,
medorgan = Folketinget
)
)
| Udøvende -> Magtplacering(
magt = Udøvende,
udøvelse = Hos(organ = KongenSomStatsorgan)
)
| Dømmende -> Magtplacering(
magt = Dømmende,
udøvelse = Hos(organ = Domstolene)
)
}
| statsorgan_deltager_i(organ: Statsorgan, magt: Statsmagt) -> match statsmagtens_placering(magt).udøvelse {
| Hos(placeret_organ) -> organ == placeret_organ
| IForening(første_organ, andet_organ) -> organ == første_organ || organ == andet_organ
}
| statsmagt_udøves_i_forening(magt: Statsmagt) -> match statsmagtens_placering(magt).udøvelse {
| Hos(_) -> Falskt
| IForening(_, _) -> Sandt
}
--@end:grundlov_par3--
--@label:grundlov_par4::meta:grundlov_kildemetadata--
----
§ 4. Den evangelisk-lutherske kirke er den danske folkekirke
og understøttes som sådan af staten.
----
--@begin:grundlov_par4--
| folkekirken_er(EvangeliskLuthersk)
| staten_understøtter_folkekirken()
--@end:grundlov_par4--
Kapitel II — Kongen (§§ 5-11)
@ sprog da
@ importer ./grundlov - faelles
-- ═══════════════════════════════════════════════════════════════
-- Kapitel II — Kongen (§ 5–11)
-- ═══════════════════════════════════════════════════════════════
--@label:grundlov_par5::meta:grundlov_kildemetadata--
----
§ 5. Kongen kan ikke uden folketingets samtykke være regent i andre lande.
----
--@begin:grundlov_par5--
-- Samtykke er en binær mekanisme: givet → tilladt, ikke givet → forbudt
| regent_i_udlandet_kræver_folketingets_samtykke()
| regent_i_udlandet(s: Samtykke) -> s == Givet
--@end:grundlov_par5--
--@label:grundlov_par6::meta:grundlov_kildemetadata--
----
§ 6. Kongen skal høre til den evangelisk-lutherske kirke.
----
--@begin:grundlov_par6--
| kongens_påkrævede_trossamfund() -> EvangeliskLuthersk
| monark_opfylder_troskrav(monark: Monark) -> monark.trossamfund == kongens_påkrævede_trossamfund()
| troskravet_er_formuleret_for_kongen()
--@end:grundlov_par6--
--@label:grundlov_par7::meta:grundlov_kildemetadata--
----
§ 7. Kongen er myndig, når han har fyldt sit 18. år.
Det samme gælder tronfølgeren.
----
--@begin:grundlov_par7--
# Myndighedssubjekt = KongenSomMyndighedssubjekt | TronfølgerenSomMyndighedssubjekt
= myndighedsalder = 18
| myndighedsregel_gælder_for(subjekt: Myndighedssubjekt) -> Sandt
| monark_er_myndig(monark: Monark) -> monark.alder >= myndighedsalder
| tronfølger_er_myndig(tronfølger: Tronfølger) -> tronfølger.alder >= myndighedsalder
--@end:grundlov_par7--
--@label:grundlov_par8::meta:grundlov_kildemetadata--
----
§ 8. Forinden kongen tiltræder regeringen, afgiver han skriftligt i statsrådet
en højtidelig forsikring om ubrødeligt at ville holde grundloven.
Af forsikringsakten udstedes tvende ligelydende originaler, af hvilke den ene
overgives folketinget for at opbevares i sammes arkiv, den anden nedlægges
i rigsarkivet.
Kan kongen som følge af fraværelse eller af andre grunde ikke
umiddelbart ved tronskiftet afgive denne forsikring, føres regeringen, indtil
dette sker, af statsrådet, medmindre anderledes ved lov bestemmes.
Har kongen allerede som tronfølger afgivet denne forsikring, tiltræder han
umiddelbart ved tronskiftet regeringen.
----
--@begin:grundlov_par8--
# Regeringsfører = MonarkenSelv | Statsrådet | LovbestemtRegeringsfører
# Arkiv = FolketingetsArkiv | Rigsarkivet
# Tronskiftesituation(monark: Monark, kan_afgive_forsikring_umiddelbart: Boolsk, anden_ordning_ved_lov: Boolsk)
-- Forsikringsakten opbevares to steder
| forsikringsakt_opbevares_i(FolketingetsArkiv)
| forsikringsakt_opbevares_i(Rigsarkivet)
| regering_ved_tronskifte(situation: Tronskiftesituation) -> MonarkenSelv
| regering_ved_tronskifte(situation: Tronskiftesituation) -> Statsrådet under situation.monark.forsikring == IkkeAfgivet && situation.kan_afgive_forsikring_umiddelbart == Falskt
| exception lovbestemt_ordning regering_ved_tronskifte(situation: Tronskiftesituation) -> LovbestemtRegeringsfører under situation.monark.forsikring == IkkeAfgivet && situation.kan_afgive_forsikring_umiddelbart == Falskt && situation.anden_ordning_ved_lov
| direkte_tiltræden_ved_forudgående_forsikring(monark: Monark) -> monark.forsikring == AfgivetSomTronfølger
--@end:grundlov_par8--
--@label:grundlov_par9::meta:grundlov_kildemetadata--
----
§ 9. Bestemmelser angående regeringens førelse i tilfælde af kongens
umyndighed, sygdom eller fraværelse fastsættes ved lov.
Er der ved tronledighed ingen tronfølger, vælger
folketinget en konge og fastsætter den fremtidige arvefølge.
----
--@begin:grundlov_par9--
# Regentskabsgrund = Umyndighed | Sygdom | Fraværelse
# Tronledighed = MedTronfølger | UdenTronfølger
| regentskab_fastsættes_ved_lov(grund: Regentskabsgrund) -> Sandt
| folketinget_vælger_konge_ved_tronledighed(status: Tronledighed) -> status == UdenTronfølger
| folketinget_fastsætter_arvefølge_ved_tronledighed(status: Tronledighed) -> status == UdenTronfølger
--@end:grundlov_par9--
--@label:grundlov_par10::meta:grundlov_kildemetadata--
----
§ 10. Stk. 1. Statens ydelse til kongen bestemmes for hans regeringstid
ved lov. Ved denne fastsættes tillige, hvilke slotte og andre statsejendele
der skal overlades kongen til brug.
Stk. 2. Statsydelsen kan ikke behæftes med gæld.
----
--@begin:grundlov_par10--
| statsydelse_fastsættes_ved_lov()
| slotte_og_andre_statsejendele_til_kongens_brug_fastsættes_ved_lov()
| statsydelse_gæld_forbudt()
--@end:grundlov_par10--
--@label:grundlov_par11::meta:grundlov_kildemetadata--
----
§ 11. For medlemmer af det kongelige hus kan der bestemmes årpenge ved lov.
Årpengene kan ikke uden folketingets samtykke nydes uden for riget.
----
--@begin:grundlov_par11--
| årpenge_kan_bestemmes_ved_lov()
| årpenge_i_udlandet_kræver_folketingets_samtykke()
| årpenge_i_udlandet(s: Samtykke) -> s == Givet
--@end:grundlov_par11--
Kapitel III — Kongen og ministrene (§§ 12-27)
@ sprog da
@ importer ./grundlov - faelles
@ importer ./kapitel - 02
-- ═══════════════════════════════════════════════════════════════
-- Kapitel III — Kongen og ministrene (§ 12–27)
-- ═══════════════════════════════════════════════════════════════
-- ─────────────────────────────────────────────────────────
-- § 12. Kongens myndighed
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par12::meta:grundlov_kildemetadata--
----
§ 12. Kongen har med de i denne grundlov fastsatte indskrænkninger den
højeste myndighed over alle rigets anliggender og udøver den gennem ministrene.
----
--@begin:grundlov_par12--
| øverste_regeringsmyndigheds_statsorgan() -> KongenSomStatsorgan
| regeringsmyndigheden_er_indskrænket_af_grundloven()
| regeringsmyndigheden_udøves_gennem_ministrene()
--@end:grundlov_par12--
-- ─────────────────────────────────────────────────────────
-- § 13. Ansvar
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par13::meta:grundlov_kildemetadata--
----
§ 13. Kongen er ansvarsfri; hans person er fredhellig. Ministrene er
ansvarlige for regeringens førelse; deres ansvarlighed bestemmes nærmere
ved lov.
----
--@begin:grundlov_par13--
| kongen_er_ansvarsfri()
| monarkens_person_er_fredhellig()
| ministrene_er_ansvarlige_for_regeringens_førelse()
| ministrenes_ansvarlighed_bestemmes_nærmere_ved_lov()
--@end:grundlov_par13--
-- ─────────────────────────────────────────────────────────
-- § 14. Udnævnelse og gyldighed
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par14::meta:grundlov_kildemetadata--
----
§ 14. Kongen udnævner og afskediger statsministeren og de øvrige ministre.
Han bestemmer deres antal og forretningernes fordeling imellem dem.
Kongens underskrift under de lovgivningen og regeringen vedkommende
beslutninger giver disse gyldighed, når den er ledsaget af en eller
flere ministres underskrift.
Enhver minister, som har underskrevet, er ansvarlig for beslutningen.
----
--@begin:grundlov_par14--
# Beslutningsområde = Lovgivning | Regering
# Underskriftsstatus = Underskrevet | IkkeUnderskrevet
# Ministerunderskrifter = IngenMinisterunderskrift | EnEllerFlereMinisterunderskrifter
# KongeligBeslutning(område: Beslutningsområde, kongens_underskrift: Underskriftsstatus, ministerunderskrifter: Ministerunderskrifter)
| kongen_udnævner_og_afskediger_ministre()
| kongen_bestemmer_antal_og_fordeling()
| kongelig_beslutning_er_gyldig(beslutning: KongeligBeslutning) -> beslutning.kongens_underskrift == Underskrevet && beslutning.ministerunderskrifter == EnEllerFlereMinisterunderskrifter
| underskrivende_ministre_er_ansvarlige(beslutning: KongeligBeslutning) -> beslutning.ministerunderskrifter == EnEllerFlereMinisterunderskrifter
--@end:grundlov_par14--
-- ─────────────────────────────────────────────────────────
-- § 15. Mistillid
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par15::meta:grundlov_kildemetadata--
----
§ 15. Stk. 1. Ingen minister kan forblive i sit embede, efter at
folketinget har udtalt sin mistillid til ham.
Stk. 2. Udtaler folketinget sin mistillid til statsministeren,
skal denne begære ministeriets afsked, medmindre nyvalg udskrives.
Et ministerium, som har fået et mistillidsvotum, eller som har begæret
sin afsked, fungerer, indtil et nyt ministerium er udnævnt.
Fungerende ministre kan i deres embede kun foretage sig, hvad der er
fornødent til embedsforretningernes uforstyrrede førelse.
----
--@begin:grundlov_par15--
# Mistillid = Udtalt | IkkeUdtalt
# ReaktionPåStatsministermistillid = BegærerMinisterietsAfsked | UdskriverNyvalg | FortsætterUdenNogenAfDelene
# FungerendeMinisterhandling = NødvendigEmbedsforretning | AndenHandling
| minister_kan_forblive(m: Mistillid) -> m == IkkeUdtalt
| ministeriet_skal_begære_afsked(nyvalg_udskrives: Boolsk) -> Sandt
| exception nyvalg ministeriet_skal_begære_afsked(nyvalg_udskrives: Boolsk) -> Falskt under nyvalg_udskrives
| statsministerens_reaktion_opfylder_par15(reaktion: ReaktionPåStatsministermistillid) -> match reaktion {
| BegærerMinisterietsAfsked -> Sandt
| UdskriverNyvalg -> Sandt
| FortsætterUdenNogenAfDelene -> Falskt
}
| afskediget_ministerium_fungerer_til_nyt_udnævnt()
| fungerende_minister_må_foretage(handling: FungerendeMinisterhandling) -> handling == NødvendigEmbedsforretning
--@end:grundlov_par15--
-- ─────────────────────────────────────────────────────────
-- § 16. Tiltale
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par16::meta:grundlov_kildemetadata--
----
§ 16. Ministrene kan af kongen eller folketinget tiltales for deres
embedsførelse. Rigsretten påkender de mod ministrene for deres
embedsførelse anlagte sager.
----
--@begin:grundlov_par16--
# Tiltaler = KongenSomTiltaler | FolketingetSomTiltaler
| kan_tiltale_ministre_for_deres_embedsførelse(t: Tiltaler) -> Sandt
| rigsretten_påkender_ministersager()
--@end:grundlov_par16--
-- ─────────────────────────────────────────────────────────
-- § 17. Statsrådet
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par17::meta:grundlov_kildemetadata--
----
§ 17. Stk. 1. Ministrene i forening udgør statsrådet, hvori tronfølgeren,
når han er myndig, tager sæde. Kongen fører forsædet undtagen i det i § 8
nævnte tilfælde og i de tilfælde, hvor lovgivningsmagten i henhold til
bestemmelsen i § 9 måtte have tillagt statsrådet myndighed til at føre
regeringen.
Stk. 2. I statsrådet forhandles alle love og vigtige regeringsforanstaltninger.
----
--@begin:grundlov_par17--
# Statsrådssituation = KongenFørerRegeringen | StatsrådetFørerRegeringenEfterPar8 | StatsrådetFørerRegeringenEfterPar9Lov
| ministrene_udgør_statsrådet()
| tronfølger_tager_sæde_i_statsrådet(tronfølger: Tronfølger) -> tronfølger_er_myndig(tronfølger)
| kongen_fører_forsædet_i_statsrådet(situation: Statsrådssituation) -> situation == KongenFørerRegeringen
| alle_love_forhandles_i_statsrådet()
| vigtige_regeringsforanstaltninger_forhandles_i_statsrådet()
--@end:grundlov_par17--
-- ─────────────────────────────────────────────────────────
-- § 18. Ministerråd
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par18::meta:grundlov_kildemetadata--
----
§ 18. Er kongen forhindret i at holde statsråd, kan han lade sagen
forhandle i et ministerråd. Dette består af samtlige ministre under
forsæde af statsministeren. Enhver minister skal da afgive sit votum
til protokollen, og beslutning tages efter stemmeflerhed. Statsministeren
forelægger den over forhandlingerne førte, af de tilstedeværende ministre
underskrevne protokol for kongen, der bestemmer, om han umiddelbart vil
bifalde ministerrådets indstilling eller lade sig sagen foredrage i statsrådet.
----
--@begin:grundlov_par18--
# Statsrådsafholdelse = KongenKanHoldeStatsråd | KongenErForhindret
# Ministerrådssag(statsrådsafholdelse: Statsrådsafholdelse, kongen_vælger_ministerråd: Boolsk)
| kongen_kan_lade_sag_forhandle_i_ministerråd(sag: Ministerrådssag) -> sag.statsrådsafholdelse == KongenErForhindret && sag.kongen_vælger_ministerråd
| ministerrådet_består_af_samtlige_ministre()
| statsministeren_fører_forsædet_i_ministerrådet()
| hver_minister_afgiver_votum_til_protokollen()
| ministerråd_beslutter_ved_flertal()
| tilstedeværende_ministre_underskriver_protokollen()
| statsministeren_forelægger_ministerrådsprotokol_for_kongen()
| kongen_kan_bifalde_eller_overføre_til_statsrådet()
--@end:grundlov_par18--
-- ─────────────────────────────────────────────────────────
-- § 19. Udenrigspolitik og militær
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par19::meta:grundlov_kildemetadata--
----
§ 19. Stk. 1. Kongen handler på rigets vegne i mellemfolkelige anliggender.
Uden folketingets samtykke kan han dog ikke foretage nogen handling, der
forøger eller indskrænker rigets område, eller indgå nogen forpligtelse,
til hvis opfyldelse folketingets medvirken er nødvendig, eller som iøvrigt
er af større betydning. Ejheller kan kongen uden folketingets samtykke opsige
nogen mellemfolkelig overenskomst, som er indgået med folketingets samtykke.
Stk. 2. Bortset fra forsvar mod væbnet angreb på riget eller danske
styrker kan kongen ikke uden folketingets samtykke anvende militære magtmidler
mod nogen fremmed stat. Foranstaltninger, som kongen måtte træffe i medfør af
denne bestemmelse, skal straks forelægges folketinget. Er folketinget ikke
samlet, skal det uopholdeligt sammenkaldes til møde.
Stk. 3. Folketinget vælger af sin midte et udenrigspolitisk nævn,
med hvilket regeringen rådfører sig forud for enhver beslutning af større
udenrigspolitisk rækkevidde. Nærmere regler om det udenrigspolitiske nævn
fastsættes ved lov.
----
--@begin:grundlov_par19--
# MellemfolkeligHandling = ÆndrerRigetsOmråde | IndgårForpligtelse(folketingets_medvirken_nødvendig: Boolsk, større_betydning: Boolsk) | OpsigerOverenskomst(indgået_med_folketingets_samtykke: Boolsk) | AndenMellemfolkeligHandling
# MellemfolkeligSag(handling: MellemfolkeligHandling, folketingets_samtykke: Samtykke)
# Militærgrund = ForsvarModVæbnetAngrebPåRiget | ForsvarModVæbnetAngrebPåDanskeStyrker | AndenMilitærgrund
# MilitærMagtanvendelse(grund: Militærgrund, folketingets_samtykke: Samtykke)
# UdenrigspolitiskBeslutning(større_rækkevidde: Boolsk)
| kongen_handler_mellemfolkeligt()
| mellemfolkelig_handling_kræver_folketingets_samtykke(handling: MellemfolkeligHandling) -> match handling {
| ÆndrerRigetsOmråde -> Sandt
| IndgårForpligtelse(medvirken_nødvendig, større_betydning) -> medvirken_nødvendig || større_betydning
| OpsigerOverenskomst(indgået_med_samtykke) -> indgået_med_samtykke
| AndenMellemfolkeligHandling -> Falskt
}
| mellemfolkelig_sag_opfylder_samtykkekravet_i_par19_stk1(sag: MellemfolkeligSag) -> hvis mellemfolkelig_handling_kræver_folketingets_samtykke(sag.handling) {
sag.folketingets_samtykke == Givet
} ellers {
Sandt
}
| militær_magtanvendelse_opfylder_samtykkekravet_i_par19_stk2(sag: MilitærMagtanvendelse) -> match sag.grund {
| ForsvarModVæbnetAngrebPåRiget -> Sandt
| ForsvarModVæbnetAngrebPåDanskeStyrker -> Sandt
| AndenMilitærgrund -> sag.folketingets_samtykke == Givet
}
| militær_handling_straks_forelægges_folketinget()
| folketinget_sammenkaldes_hvis_ikke_samlet()
| folketinget_vælger_udenrigsnævn()
| regeringen_skal_rådføre_sig_med_udenrigsnævnet_forud(beslutning: UdenrigspolitiskBeslutning) -> beslutning.større_rækkevidde
| udenrigsnævn_fastsættes_ved_lov()
--@end:grundlov_par19--
-- ─────────────────────────────────────────────────────────
-- § 20. Suverænitetsafgivelse
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par20::meta:grundlov_kildemetadata--
----
§ 20. Stk. 1. Beføjelser, som efter denne grundlov tilkommer rigets
myndigheder, kan ved lov i nærmere bestemt omfang overlades til mellemfolkelige
myndigheder, der er oprettet ved gensidig overenskomst med andre stater til
fremme af mellemfolkelig retsorden og samarbejde.
Stk. 2. Til vedtagelse af lovforslag herom kræves et flertal på fem sjettedele
af folketingets medlemmer. Opnås et sådant flertal ikke, men dog det til
vedtagelse af almindelige lovforslag nødvendige flertal, og opretholder
regeringen forslaget, forelægges det folketingsvælgerne til godkendelse eller
forkastelse efter de for folkeafstemninger i § 42 fastsatte regler.
----
--@begin:grundlov_par20--
# Suverænitetsforslag(opbakning: Medlemsopbakning, almindeligt_flertal_opnået: Boolsk, regeringen_opretholder_forslaget: Boolsk)
# Suverænitetsprocedure = VedtagetMedFemSjettedele | ForelæggesFolketingsvælgerne | IkkeVedtaget
| beføjelser_kan_overlades_mellemfolkeligt()
| suverænitetsoverladelse_sker_i_nærmere_bestemt_omfang()
| mellemfolkelige_myndigheder_oprettet_ved_gensidig_overenskomst()
| mellemfolkelige_myndigheder_fremmer_retsorden_og_samarbejde()
= suverænitetskrav = Brøk(tæller = 5, nævner = 6)
| suverænitetsforslagets_procedure(forslag: Suverænitetsforslag) -> hvis medlemsopbakning_er_gyldig(forslag.opbakning) {
hvis medlemsopbakning_er_mindst(forslag.opbakning, suverænitetskrav) {
VedtagetMedFemSjettedele
} ellers {
hvis forslag.almindeligt_flertal_opnået && forslag.regeringen_opretholder_forslaget {
ForelæggesFolketingsvælgerne
} ellers {
IkkeVedtaget
}
}
} ellers {
IkkeVedtaget
}
--@end:grundlov_par20--
-- ─────────────────────────────────────────────────────────
-- § 21–22. Lovgivning
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par21::meta:grundlov_kildemetadata--
----
§ 21. Kongen kan for folketinget lade fremsætte forslag til love og andre
beslutninger.
----
--@begin:grundlov_par21--
| kongen_kan_fremsætte_lovforslag()
| kongen_kan_fremsætte_beslutningsforslag()
--@end:grundlov_par21--
--@label:grundlov_par22::meta:grundlov_kildemetadata--
----
§ 22. Et af folketinget vedtaget lovforslag får lovskraft, når det
senest 30 dage efter den endelige vedtagelse stadfæstes af kongen.
Kongen befaler lovens kundgørelse og drager omsorg for dens fuldbyrdelse.
----
--@begin:grundlov_par22--
# Lovforslagsstadfæstelse(folketinget_endeligt_vedtaget: Boolsk, stadfæstet_af_kongen: Boolsk, dage_efter_endelig_vedtagelse: Heltal)
= stadfæstelsesfrist_dage = 30
| lovforslag_får_lovskraft(stadfæstelse: Lovforslagsstadfæstelse) -> stadfæstelse.folketinget_endeligt_vedtaget && stadfæstelse.stadfæstet_af_kongen && stadfæstelse.dage_efter_endelig_vedtagelse >= 0 && stadfæstelse.dage_efter_endelig_vedtagelse <= stadfæstelsesfrist_dage
| kongen_befaler_lovens_kundgørelse()
| kongen_drager_omsorg_for_lovens_fuldbyrdelse()
--@end:grundlov_par22--
-- ─────────────────────────────────────────────────────────
-- § 23. Foreløbige love
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par23::meta:grundlov_kildemetadata--
----
§ 23. I særdeles påtrængende tilfælde kan kongen, når folketinget
ikke kan samles, udstede foreløbige love, der dog ikke må stride
mod grundloven og altid straks efter folketingets sammentræden skal
forelægges dette til godkendelse eller forkastelse.
----
--@begin:grundlov_par23--
# ForeløbigLovssag(særdeles_påtrængende: Boolsk, folketinget_kan_samles: Boolsk, strider_mod_grundloven: Boolsk)
| foreløbig_lov_kan_udstedes(sag: ForeløbigLovssag) -> sag.særdeles_påtrængende && sag.folketinget_kan_samles == Falskt && sag.strider_mod_grundloven == Falskt
| foreløbige_love_forelægges_straks_efter_folketingets_sammentræden_til_godkendelse_eller_forkastelse()
--@end:grundlov_par23--
-- ─────────────────────────────────────────────────────────
-- § 24. Benådning
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par24::meta:grundlov_kildemetadata--
----
§ 24. Kongen kan benåde og give amnesti. Ministrene kan han kun
med folketingets samtykke benåde for de dem af rigsretten idømte straffe.
----
--@begin:grundlov_par24--
| kongen_kan_benåde()
| kongen_kan_give_amnesti()
| benådning_af_rigsretsdømt_minister_kræver_samtykke()
| benådning_af_rigsretsdømt_minister_opfylder_par24(samtykke: Samtykke) -> samtykke == Givet
--@end:grundlov_par24--
-- ─────────────────────────────────────────────────────────
-- § 25–26. Bevillinger og møntret
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par25::meta:grundlov_kildemetadata--
----
§ 25. Kongen meddeler dels umiddelbart, dels gennem vedkommende
regeringsmyndigheder sådanne bevillinger og undtagelser fra lovene, som enten
ifølge de før 5. juni 1849 gældende regler er i brug, eller hvortil hjemmel
indeholdes i en siden den tid udgiven lov.
----
--@begin:grundlov_par25--
# Dispensationsgrundlag = RegelIBrugFørFemteJuni1849 | HjemmelISenereLov | IntetGrundlag
# Dispensationsvej = UmiddelbartAfKongen | GennemVedkommendeRegeringsmyndighed
# Dispensationssag(vej: Dispensationsvej, grundlag: Dispensationsgrundlag)
| dispensation_har_grundlovsgrundlag(grundlag: Dispensationsgrundlag) -> match grundlag {
| RegelIBrugFørFemteJuni1849 -> Sandt
| HjemmelISenereLov -> Sandt
| IntetGrundlag -> Falskt
}
| dispensation_opfylder_par25(sag: Dispensationssag) -> match sag.vej {
| UmiddelbartAfKongen -> dispensation_har_grundlovsgrundlag(sag.grundlag)
| GennemVedkommendeRegeringsmyndighed -> dispensation_har_grundlovsgrundlag(sag.grundlag)
}
--@end:grundlov_par25--
--@label:grundlov_par26::meta:grundlov_kildemetadata--
----
§ 26. Kongen har ret til at lade slå mønt i henhold til loven.
----
--@begin:grundlov_par26--
| kongen_har_ret_til_at_lade_slå_mønt_i_henhold_til_loven()
--@end:grundlov_par26--
-- ─────────────────────────────────────────────────────────
-- § 27. Tjenestemænd
-- ─────────────────────────────────────────────────────────
--@label:grundlov_par27::meta:grundlov_kildemetadata--
----
§ 27. Stk. 1. Regler om ansættelse af tjenestemænd fastsættes ved lov.
Ingen kan ansættes som tjenestemand uden at have indfødsret.
Tjenestemænd, som udnævnes af kongen, afgiver en højtidelig forsikring
om at ville holde grundloven.
Stk. 2. Om afskedigelse, forflyttelse og pensionering af tjenestemænd
fastsættes regler ved lov, jfr. dog herved § 64.
Stk. 3. Uden deres samtykke kan de af kongen udnævnte tjenestemænd kun
forflyttes, når de ikke derved lider tab i de med tjenestemandsstillingen
forbundne indtægter, og der gives dem valget mellem sådan forflyttelse og
afsked med pension efter de almindelige regler.
----
--@begin:grundlov_par27--
# Tjenestemandskandidat(har_indfødsret: Boolsk)
# Tjenestemandsforholdstype = Afskedigelse | Forflyttelse | Pensionering
# ForflyttelseUdenSamtykke(indkomsttab: Boolsk, valg_mellem_forflyttelse_og_afsked_med_pension: Boolsk)
| tjenestemandsansættelse_fastsættes_ved_lov()
| tjenestemandskandidat_opfylder_indfødsretskravet(kandidat: Tjenestemandskandidat) -> kandidat.har_indfødsret
| kongens_tjenestemand_aflægger_grundlovs_ed()
| regler_om_tjenestemandsforhold_fastsættes_ved_lov(forhold: Tjenestemandsforholdstype) -> Sandt
| forflyttelse_af_kongeligt_udnævnt_tjenestemand_opfylder_par27(forflyttelse: ForflyttelseUdenSamtykke) -> forflyttelse.indkomsttab == Falskt && forflyttelse.valg_mellem_forflyttelse_og_afsked_med_pension
--@end:grundlov_par27--
Kapitel IV — Folketinget (§§ 28-34)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel IV -- Folketinget
--@label:grundlov_par28::meta:grundlov_kildemetadata--
----
§ 28. Folketinget udgør een forsamling bestående af højst 179 medlemmer, hvoraf
2 medlemmer vælges på Færøerne og 2 i Grønland.
----
--@begin:grundlov_par28--
= folketingets_max_medlemmer = 179
= færøske_mandater = 2
= grønlandske_mandater = 2
| folketinget_udgør_en_forsamling()
--@end:grundlov_par28--
--@label:grundlov_par29::meta:grundlov_kildemetadata--
----
§ 29. Stk. 1. Valgret til folketinget har enhver, som har dansk indfødsret,
fast bopæl i riget og har nået den i stk. 2 omhandlede valgretsalder,
medmindre vedkommende er umyndiggjort. Det bestemmes ved lov, i hvilket omfang
straf og understøttelse, der i lovgivningen betragtes som fattighjælp, medfører
tab af valgret.
Stk. 2. Valgretsalderen er den, som har opnået flertal ved folkeafstemning i
overensstemmelse med lov af 25. marts 1953. Ændring af den til enhver tid
gældende valgretsalder kan ske ved lov. Et af folketinget vedtaget forslag til
en sådan lov kan først stadfæstes af kongen, når bestemmelsen om ændring af
valgretsalderen i overensstemmelse med § 42, stk. 5, har været undergivet en
folkeafstemning, der ikke har medført bestemmelsens bortfald.
----
--@begin:grundlov_par29--
# Valgretsforhold(har_dansk_indfødsret: Boolsk, har_fast_bopæl_i_riget: Boolsk, har_nået_valgretsalderen: Boolsk, er_umyndiggjort: Boolsk, valgret_tabt_efter_lovbestemmelse: Boolsk)
# Valgretsalderændring(folketinget_har_vedtaget: Boolsk, folkeafstemning_afholdt: Boolsk, bestemmelsen_bortfaldet: Boolsk)
# DelegeretValgretstabsgrund = Straf | UnderstøttelseBetragtetSomFattighjælp
| opfylder_par29_stk1(forhold: Valgretsforhold) -> forhold.har_dansk_indfødsret && forhold.har_fast_bopæl_i_riget && forhold.har_nået_valgretsalderen && forhold.er_umyndiggjort == Falskt && forhold.valgret_tabt_efter_lovbestemmelse == Falskt
| omfang_af_tab_af_valgret_fastsættes_ved_lov(grund: DelegeretValgretstabsgrund) -> Sandt
| valgretsalder_fastsættes_ved_folkeafstemning()
| valgretsalderændring_kan_stadfæstes(ændring: Valgretsalderændring) -> ændring.folketinget_har_vedtaget && ændring.folkeafstemning_afholdt && ændring.bestemmelsen_bortfaldet == Falskt
--@end:grundlov_par29--
--@label:grundlov_par30::meta:grundlov_kildemetadata--
----
§ 30. Stk. 1. Valgbar til folketinget er enhver, som har valgret til dette,
medmindre vedkommende er straffet for en handling, der i almindeligt omdømme
gør ham uværdig til at være medlem af folketinget.
Stk. 2. Tjenestemænd, som vælges til medlemmer af folketinget, behøver ikke
regeringens tilladelse til at modtage valget.
----
--@begin:grundlov_par30--
# Valgbarhedsforhold(valgretsforhold: Valgretsforhold, straffet_for_uværdig_handling: Boolsk)
| opfylder_par30_stk1(forhold: Valgbarhedsforhold) -> opfylder_par29_stk1(forhold.valgretsforhold) && forhold.straffet_for_uværdig_handling == Falskt
| valgte_tjenestemænd_behøver_ikke_regeringens_tilladelse_til_at_modtage_valget()
--@end:grundlov_par30--
--@label:grundlov_par31::meta:grundlov_kildemetadata--
----
§ 31. Stk. 1. Folketingets medlemmer vælges ved almindelige, direkte og
hemmelige valg.
Stk. 2. De nærmere regler for valgrettens udøvelse gives ved valgloven, der
til sikring af en ligelig repræsentation af de forskellige anskuelser blandt
vælgerne fastsætter valgmåden, herunder hvorvidt forholdstalsvalgmåden skal
føres igennem i eller uden forbindelse med valg i enkeltmandskredse.
Stk. 3. Ved den stedlige mandatfordeling skal der tages hensyn til
indbyggertal, vælgertal og befolkningstæthed.
Stk. 4. Ved valgloven gives nærmere regler vedrørende valg af stedfortrædere
og disses indtræden i folketinget samt angående fremgangsmåden i tilfælde,
hvor omvalg måtte blive nødvendigt.
Stk. 5. Særlige regler om Grønlands repræsentation i folketinget kan gives
ved lov.
----
--@begin:grundlov_par31--
-- Stk. 1: tre valgprincipper
| valg_er_almindelige()
| valg_er_direkte()
| valg_er_hemmelige()
-- Stk. 2: valglov sikrer ligelig repræsentation
| valgloven_fastsætter_valgmåden()
| valgloven_sikrer_ligelig_repræsentation_af_vælgernes_forskellige_anskuelser()
-- Stk. 3: tre hensyn ved mandatfordeling
| mandatfordeling_hensyn_til_indbyggertal()
| mandatfordeling_hensyn_til_vælgertal()
| mandatfordeling_hensyn_til_befolkningstæthed()
-- Stk. 4
| valgloven_giver_nærmere_regler_om_valg_af_stedfortrædere()
| valgloven_giver_nærmere_regler_om_stedfortræderes_indtræden_i_folketinget()
| valgloven_giver_nærmere_regler_om_fremgangsmåden_ved_nødvendigt_omvalg()
-- Stk. 5
| grønlands_repræsentation_kan_fastsættes_ved_lov()
--@end:grundlov_par31--
--@label:grundlov_par32::meta:grundlov_kildemetadata--
----
§ 32. Stk. 1. Folketingets medlemmer vælges for fire år.
Stk. 2. Kongen kan til enhver tid udskrive nyvalg med den virkning, at de
bestående folketingsmandater bortfalder, når nyvalg har fundet sted. Efter
udnævnelse af et nyt ministerium kan valg dog ikke udskrives, forinden
statsministeren har fremstillet sig for folketinget.
Stk. 3. Det påhviler statsministeren at foranledige, at nyvalg afholdes inden
valgperiodens udløb.
Stk. 4. Mandaterne bortfalder i intet tilfælde, før nyvalg har fundet sted.
Stk. 5. Der kan ved lov gives særlige regler om færøske og grønlandske
folketingsmandaters ikrafttræden og ophør.
Stk. 6. Mister et medlem af folketinget sin valgbarhed, bortfalder hans
mandat.
Stk. 7. Ethvert nyt medlem afgiver, når hans valg er godkendt, en højtidelig
forsikring om at ville holde grundloven.
----
--@begin:grundlov_par32--
# Nyvalgssituation(nyt_ministerium_udnævnt: Boolsk, statsministeren_har_fremstillet_sig: Boolsk)
# Mandatforhold(nyvalg_afholdt: Boolsk, valgbarhed_bevaret: Boolsk)
# Valgsgodkendelse = GodkendtValg | IkkeGodkendtValg
= valgperiode_år = 4
| folketingets_medlemmers_valgperiode_år() -> valgperiode_år
| kongen_kan_udskrive_nyvalg(situation: Nyvalgssituation) -> hvis situation.nyt_ministerium_udnævnt {
situation.statsministeren_har_fremstillet_sig
} ellers {
Sandt
}
| statsministeren_skal_foranledige_nyvalg_inden_udløb()
| eksisterende_mandat_består(forhold: Mandatforhold) -> forhold.nyvalg_afholdt == Falskt && forhold.valgbarhed_bevaret
| særlige_regler_om_færøske_og_grønlandske_mandaters_ikrafttræden_og_ophør_kan_gives_ved_lov()
| nyt_medlem_afgiver_højtidelig_forsikring_om_at_holde_grundloven(godkendelse: Valgsgodkendelse) -> godkendelse == GodkendtValg
--@end:grundlov_par32--
--@label:grundlov_par33::meta:grundlov_kildemetadata--
----
§ 33. Folketinget afgør selv gyldigheden af sine medlemmers valg samt
spørgsmål om, hvorvidt et medlem har mistet sin valgbarhed.
----
--@begin:grundlov_par33--
| folketinget_afgør_valgs_gyldighed()
| folketinget_afgør_tab_af_valgbarhed()
--@end:grundlov_par33--
--@label:grundlov_par34::meta:grundlov_kildemetadata--
----
§ 34. Folketinget er ukrænkeligt. Enhver, der antaster dets sikkerhed eller
frihed, enhver, der udsteder eller adlyder nogen dertil sigtende befaling, gør
sig skyldig i højforræderi.
----
--@begin:grundlov_par34--
# AntastelseAfFolketinget = AntasterSikkerheden | AntasterFriheden | UdstederBefalingOmAntastelse | AdlyderBefalingOmAntastelse
| folketinget_er_ukrænkeligt()
| antastelse_af_folketinget_er_højforræderi(handling: AntastelseAfFolketinget) -> Sandt
--@end:grundlov_par34--
Kapitel V — Folketingets virksomhed (§§ 35-58)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel V -- Folketingets virksomhed
--@label:grundlov_par35::meta:grundlov_kildemetadata--
----
§ 35. Stk. 1. Nyvalgt folketing træder sammen kl. 12 den tolvte søgnedag
efter valgdagen, dersom kongen ikke har indkaldt det til møde forinden.
Stk. 2. Straks efter prøvelsen af mandaterne sættes folketinget ved valg af
formand og næstformænd.
----
--@begin:grundlov_par35--
# NyvalgtFolketingsmøde(kongen_har_indkaldt_forinden: Boolsk)
# NyvalgtFolketingsSammentræden = IndkaldtTidligereAfKongen | TolvteSøgnedagKlokkenTolv
| nyvalgt_folketings_sammentræden(møde: NyvalgtFolketingsmøde) -> hvis møde.kongen_har_indkaldt_forinden {
IndkaldtTidligereAfKongen
} ellers {
TolvteSøgnedagKlokkenTolv
}
| straks_efter_mandatprøvelsen_vælger_folketinget_formand_og_næstformænd()
--@end:grundlov_par35--
--@label:grundlov_par36::meta:grundlov_kildemetadata--
----
§ 36. Stk. 1. Folketingsåret begynder den første tirsdag i oktober og varer
til samme tirsdag det følgende år.
Stk. 2. På folketingsårets første dag kl. 12 sammentræder medlemmerne til
møde, hvor folketinget sættes påny.
----
--@begin:grundlov_par36--
| folketingsåret_begynder_første_tirsdag_i_oktober()
| folketingsåret_varer_til_samme_tirsdag_følgende_år()
| folketinget_sættes_påny_klokken_tolv_på_folketingsårets_første_dag()
--@end:grundlov_par36--
--@label:grundlov_par37::meta:grundlov_kildemetadata--
----
§ 37. Folketinget træder sammen på det sted, hvor regeringen har sit sæde. I
overordentlige tilfælde kan folketinget dog samles andetsteds i riget.
----
--@begin:grundlov_par37--
| folketinget_mødes_ved_regeringens_sæde()
| folketinget_kan_mødes_andetsteds_i_overordentlige_tilfælde()
--@end:grundlov_par37--
--@label:grundlov_par38::meta:grundlov_kildemetadata--
----
§ 38. Stk. 1. På det første møde i folketingsåret afgiver statsministeren en
redegørelse for rigets almindelige stilling og de af regeringen påtænkte
foranstaltninger.
Stk. 2. På grundlag af redegørelsen finder en almindelig forhandling sted.
----
--@begin:grundlov_par38--
| på_folketingsårets_første_møde_afgiver_statsministeren_redegørelse_for_rigets_almindelige_stilling_og_regeringens_påtænkte_foranstaltninger()
| på_grundlag_af_redegørelsen_finder_en_almindelig_forhandling_sted()
--@end:grundlov_par38--
--@label:grundlov_par39::meta:grundlov_kildemetadata--
----
§ 39. Folketingets formand indkalder folketinget til møde med angivelse af
dagsorden. Det påhviler formanden at indkalde til møde, når mindst to
femtedele af folketingets medlemmer eller statsministeren skriftligt
fremsætter begæring herom med angivelse af dagsorden.
----
--@begin:grundlov_par39--
# Mødebegærer = StatsministerenSomMødebegærer | FolketingsmedlemmerSomMødebegærere(opbakning: Medlemsopbakning)
# Mødebegæring(begærer: Mødebegærer, skriftlig: Boolsk, dagsorden_angivet: Boolsk)
| formanden_indkalder_med_dagsorden()
= mødeindkaldelsens_medlemstærskel = Brøk(tæller = 2, nævner = 5)
| formanden_skal_indkalde(begæring: Mødebegæring) -> begæring.skriftlig && begæring.dagsorden_angivet && match begæring.begærer {
| StatsministerenSomMødebegærer -> Sandt
| FolketingsmedlemmerSomMødebegærere(opbakning) -> medlemsopbakning_er_mindst(opbakning, mødeindkaldelsens_medlemstærskel)
}
--@end:grundlov_par39--
--@label:grundlov_par40::meta:grundlov_kildemetadata--
----
§ 40. Ministrene har i embeds medfør adgang til folketinget og er berettigede
til under forhandlingerne at forlange ordet, så ofte de vil, idet de iøvrigt
iagttager forretningsordenen. Stemmeret udøver de kun, når de tillige er
medlemmer af folketinget.
----
--@begin:grundlov_par40--
| ministre_har_i_embeds_medfør_adgang_til_folketinget()
| ministre_kan_under_forhandlingerne_forlange_ordet_så_ofte_de_vil_under_iagttagelse_af_forretningsordenen()
| minister_har_stemmeret_i_folketinget(er_folketingsmedlem: Boolsk) -> er_folketingsmedlem
--@end:grundlov_par40--
--@label:grundlov_par41::meta:grundlov_kildemetadata--
----
§ 41. Stk. 1. Ethvert medlem af folketinget er berettiget til at fremsætte
forslag til love og andre beslutninger.
Stk. 2. Et lovforslag kan ikke endeligt vedtages, forinden det tre gange har
været behandlet i folketinget.
Stk. 3. To femtedele af folketingets medlemmer kan overfor formanden begære,
at tredje behandling tidligst finder sted tolv søgnedage efter forslagets
vedtagelse ved anden behandling. Begæringen skal være skriftlig og underskrevet
af de deltagende medlemmer. Udsættelse kan dog ikke finde sted, forsåvidt angår
forslag til finanslove, tillægsbevillingslove, midlertidige bevillingslove,
statslånslove, love om meddelelse af indfødsret, love om ekspropriation, love
om indirekte skatter samt i påtrængende tilfælde forslag til love, hvis
ikrafttræden ikke kan udsættes af hensyn til lovens formål.
Stk. 4. Ved nyvalg og ved folketingsårets udgang bortfalder alle forslag til
love og andre beslutninger, der ikke forinden er endeligt vedtaget.
----
--@begin:grundlov_par41--
# Lovforslagsområde = AlmindeligtLovforslag | Finanslovsforslag | Tillægsbevillingslovsforslag | MidlertidigtBevillingslovsforslag | Statslånslovsforslag | Normeringslovsforslag | LønningsOgPensionslovsforslag | Indfødsretslovsforslag | Ekspropriationslovsforslag | DirekteSkattelovsforslag | IndirekteSkattelovsforslag | Traktatgennemførelseslovsforslag | Paragraf8Lovsforslag | Paragraf9Lovsforslag | Paragraf10Lovsforslag | Paragraf11Lovsforslag | Paragraf19BeslutningILovsform(særlov_tillader_folkeafstemning: Boolsk) | Grundlovsændringsforslag
# Lovforslag(område: Lovforslagsområde, påtrængende_efter_par41: Boolsk, ikrafttræden_kan_udsættes_af_hensyn_til_lovens_formål: Boolsk, særdeles_påtrængende_efter_par42: Boolsk, straksstadfæstelse_bestemt_i_forslaget: Boolsk)
# Udsættelsesbegæring(forslag: Lovforslag, opbakning: Medlemsopbakning, skriftlig: Boolsk, underskrevet: Boolsk)
# Tredjebehandlingsforløb(begæring: Udsættelsesbegæring, søgnedage_efter_vedtagelsen_ved_anden_behandling: Heltal)
# Forslagshændelse = Nyvalg | FolketingsåretsUdgang
# ForslagsstatusVedOphørshændelse(endeligt_vedtaget: Boolsk, hændelse: Forslagshændelse)
| ethvert_medlem_kan_fremsætte_forslag_til_love_og_beslutninger()
= påkrævede_behandlinger = 3
| lovforslag_kan_endeligt_vedtages(antal_behandlinger: Heltal) -> antal_behandlinger >= påkrævede_behandlinger
= udsættelse_søgnedage = 12
= udsættelsens_medlemstærskel = Brøk(tæller = 2, nævner = 5)
| lovforslag_er_undtaget_fra_udsættelse(forslag: Lovforslag) -> match forslag.område {
| Finanslovsforslag -> Sandt
| Tillægsbevillingslovsforslag -> Sandt
| MidlertidigtBevillingslovsforslag -> Sandt
| Statslånslovsforslag -> Sandt
| Indfødsretslovsforslag -> Sandt
| Ekspropriationslovsforslag -> Sandt
| IndirekteSkattelovsforslag -> Sandt
| _ -> forslag.påtrængende_efter_par41 && forslag.ikrafttræden_kan_udsættes_af_hensyn_til_lovens_formål == Falskt
}
| udsættelsesbegæring_opfylder_par41_stk3(begæring: Udsættelsesbegæring) -> begæring.skriftlig && begæring.underskrevet && medlemsopbakning_er_mindst(begæring.opbakning, udsættelsens_medlemstærskel) && lovforslag_er_undtaget_fra_udsættelse(begæring.forslag) == Falskt
| tredje_behandling_opfylder_par41_stk3(forløb: Tredjebehandlingsforløb) -> forløb.søgnedage_efter_vedtagelsen_ved_anden_behandling >= 0 && hvis udsættelsesbegæring_opfylder_par41_stk3(forløb.begæring) {
forløb.søgnedage_efter_vedtagelsen_ved_anden_behandling >= udsættelse_søgnedage
} ellers {
Sandt
}
| forslag_bortfalder_efter_par41_stk4(status: ForslagsstatusVedOphørshændelse) -> status.endeligt_vedtaget == Falskt && match status.hændelse {
| Nyvalg -> Sandt
| FolketingsåretsUdgang -> Sandt
}
--@end:grundlov_par41--
--@label:grundlov_par42::meta:grundlov_kildemetadata--
----
§ 42. Stk. 1. Når et lovforslag er vedtaget af folketinget, kan en trediedel
af folketingets medlemmer indenfor en frist af tre søgnedage fra forslagets
endelige vedtagelse overfor formanden begære folkeafstemning om lovforslaget.
Begæringen skal være skriftlig og underskrevet af de deltagende medlemmer.
Stk. 2. Et lovforslag, som kan undergives folkeafstemning, jfr. stk. 6, kan
kun i det i stk. 7 omhandlede tilfælde stadfæstes af kongen inden udløbet af
den i stk. 1 nævnte frist, eller inden begæret folkeafstemning har fundet sted.
Stk. 3. Når der er begæret folkeafstemning om et lovforslag, kan folketinget
indenfor en frist af fem søgnedage fra forslagets endelige vedtagelse beslutte,
at forslaget skal bortfalde.
Stk. 4. Træffer folketinget ikke beslutning i henhold til stk. 3, skal
meddelelse om, at lovforslaget skal prøves ved folkeafstemning, snarest
tilstilles statsministeren, der derefter lader lovforslaget bekendtgøre med
meddelelse om, at folkeafstemning vil finde sted. Folkeafstemningen
iværksættes efter statsministerens nærmere bestemmelse tidligst tolv og senest
atten søgnedage efter bekendtgørelsen.
Stk. 5. Ved folkeafstemningen stemmes for og mod lovforslaget. Til
lovforslagets bortfald kræves, at et flertal af de i afstemningen deltagende
folketingsvælgere, dog mindst 30 procent af samtlige stemmeberettigede, har
stemt mod lovforslaget.
Stk. 6. Forslag til finanslove, tillægsbevillingslove, midlertidige
bevillingslove, statslånslove, normeringslove, lønnings- og pensionslove,
love om meddelelse af indfødsret, love om ekspropriation, love om direkte og
indirekte skatter samt love til gennemførelse af bestående traktatmæssige
forpligtelser kan ikke undergives folkeafstemning. Det samme gælder forslag
til de i §§ 8, 9, 10 og 11 omhandlede love såvel som de i § 19 nævnte
beslutninger, der måtte være i lovs form, medmindre det for disse sidste ved
særlig lov bestemmes, at sådan afstemning skal finde sted. For
grundlovsændringer gælder reglerne i § 88.
Stk. 7. I særdeles påtrængende tilfælde kan et lovforslag, som kan undergives
folkeafstemning, stadfæstes af kongen straks efter dets vedtagelse, når
forslaget indeholder bestemmelse herom. Såfremt en tredjedel af folketingets
medlemmer efter de i stk. 1 omhandlede regler begærer folkeafstemning om
lovforslaget eller den stadfæstede lov, afholdes sådan folkeafstemning efter
foranstående regler. Forkastes loven ved folkeafstemningen, kundgøres dette af
statsministeren uden unødigt ophold og senest fjorten dage efter
folkeafstemningens afholdelse. Fra kundgørelsesdagen er loven bortfaldet.
Stk. 8. Nærmere regler om folkeafstemning, herunder i hvilket omfang
folkeafstemning skal finde sted på Færøerne og i Grønland, fastsættes ved lov.
----
--@begin:grundlov_par42--
# Folkeafstemningsbegæring(forslag: Lovforslag, opbakning: Medlemsopbakning, søgnedage_efter_endelig_vedtagelse: Heltal, skriftlig: Boolsk, underskrevet: Boolsk)
# Stadfæstelsessituation(forslag: Lovforslag, fristen_udløbet: Boolsk, folkeafstemning_begæret: Boolsk, folkeafstemning_afholdt: Boolsk)
# Tilbagetrækningssituation(folkeafstemning_begæret: Boolsk, søgnedage_efter_endelig_vedtagelse: Heltal)
# Folkeafstemningsresultat(mod_stemmer: Heltal, deltagende: Heltal, stemmeberettigede: Heltal)
# StraksstadfæstetLovstatus = FørFolkeafstemning | IkkeForkastetVedFolkeafstemning | ForkastetIkkeKundgjort | ForkastelseKundgjort
# Forkastelseskundgørelse(kundgjort_uden_unødigt_ophold: Boolsk, dage_efter_folkeafstemning: Heltal)
= frist_begæring_søgnedage = 3
= folkeafstemningsbegæringens_medlemstærskel = Brøk(tæller = 1, nævner = 3)
| lovforslag_kan_undergives_folkeafstemning(forslag: Lovforslag) -> match forslag.område {
| Finanslovsforslag -> Falskt
| Tillægsbevillingslovsforslag -> Falskt
| MidlertidigtBevillingslovsforslag -> Falskt
| Statslånslovsforslag -> Falskt
| Normeringslovsforslag -> Falskt
| LønningsOgPensionslovsforslag -> Falskt
| Indfødsretslovsforslag -> Falskt
| Ekspropriationslovsforslag -> Falskt
| DirekteSkattelovsforslag -> Falskt
| IndirekteSkattelovsforslag -> Falskt
| Traktatgennemførelseslovsforslag -> Falskt
| Paragraf8Lovsforslag -> Falskt
| Paragraf9Lovsforslag -> Falskt
| Paragraf10Lovsforslag -> Falskt
| Paragraf11Lovsforslag -> Falskt
| Paragraf19BeslutningILovsform(særlov_tillader) -> særlov_tillader
| Grundlovsændringsforslag -> Falskt
| AlmindeligtLovforslag -> Sandt
}
| folkeafstemningsbegæring_opfylder_par42_stk1(begæring: Folkeafstemningsbegæring) -> lovforslag_kan_undergives_folkeafstemning(begæring.forslag) && medlemsopbakning_er_mindst(begæring.opbakning, folkeafstemningsbegæringens_medlemstærskel) && begæring.søgnedage_efter_endelig_vedtagelse >= 0 && begæring.søgnedage_efter_endelig_vedtagelse <= frist_begæring_søgnedage && begæring.skriftlig && begæring.underskrevet
| lovforslag_kan_stadfæstes_straks_efter_par42_stk7(forslag: Lovforslag) -> lovforslag_kan_undergives_folkeafstemning(forslag) && forslag.særdeles_påtrængende_efter_par42 && forslag.straksstadfæstelse_bestemt_i_forslaget
| stadfæstelse_opfylder_par42_stk2(situation: Stadfæstelsessituation) -> hvis lovforslag_kan_undergives_folkeafstemning(situation.forslag) == Falskt {
Sandt
} ellers {
hvis lovforslag_kan_stadfæstes_straks_efter_par42_stk7(situation.forslag) {
Sandt
} ellers {
situation.fristen_udløbet && (situation.folkeafstemning_begæret == Falskt || situation.folkeafstemning_afholdt)
}
}
= frist_tilbagetrækning_søgnedage = 5
| folketinget_kan_lade_forslaget_bortfalde(situation: Tilbagetrækningssituation) -> situation.folkeafstemning_begæret && situation.søgnedage_efter_endelig_vedtagelse >= 0 && situation.søgnedage_efter_endelig_vedtagelse <= frist_tilbagetrækning_søgnedage
= folkeafstemning_tidligst_søgnedage = 12
= folkeafstemning_senest_søgnedage = 18
| folkeafstemningsdag_opfylder_par42_stk4(søgnedage_efter_bekendtgørelse: Heltal) -> søgnedage_efter_bekendtgørelse >= folkeafstemning_tidligst_søgnedage && søgnedage_efter_bekendtgørelse <= folkeafstemning_senest_søgnedage
| folkeafstemningsresultat_er_konsistent(resultat: Folkeafstemningsresultat) -> resultat.mod_stemmer >= 0 && resultat.deltagende >= 0 && resultat.stemmeberettigede > 0 && resultat.mod_stemmer <= resultat.deltagende && resultat.deltagende <= resultat.stemmeberettigede
| lovforslag_forkastet_ved_folkeafstemning(resultat: Folkeafstemningsresultat) -> folkeafstemningsresultat_er_konsistent(resultat) && resultat.mod_stemmer * 2 > resultat.deltagende && resultat.mod_stemmer * 100 >= resultat.stemmeberettigede * 30
| grundlovsændringer_følger_par88()
= frist_kundgørelse_dage = 14
| forkastelse_kundgøres_rettidigt_efter_par42_stk7(kundgørelse: Forkastelseskundgørelse) -> kundgørelse.kundgjort_uden_unødigt_ophold && kundgørelse.dage_efter_folkeafstemning >= 0 && kundgørelse.dage_efter_folkeafstemning <= frist_kundgørelse_dage
| straksstadfæstet_lov_har_lovskraft_efter_par42_stk7(status: StraksstadfæstetLovstatus) -> status != ForkastelseKundgjort
| folkeafstemningsregler_fastsættes_ved_lov()
--@end:grundlov_par42--
--@label:grundlov_par43::meta:grundlov_kildemetadata--
----
§ 43. Ingen skat kan pålægges, forandres eller ophæves uden ved lov; ejheller
kan noget mandskab udskrives eller noget statslån optages uden ifølge lov.
----
--@begin:grundlov_par43--
# Skattehandling = Pålæggelse | Forandring | Ophævelse
| skattehandling_kræver_lov(handling: Skattehandling) -> Sandt
| ingen_udskrivning_af_mandskab_uden_lov()
| intet_statslån_uden_lov()
--@end:grundlov_par43--
--@label:grundlov_par44::meta:grundlov_kildemetadata--
----
§ 44. Stk. 1. Ingen udlænding kan få indfødsret uden ved lov.
Stk. 2. Om udlændinges adgang til at blive ejere af fast ejendom fastsættes
regler ved lov.
----
--@begin:grundlov_par44--
| indfødsret_kun_ved_lov()
| regler_om_udlændinges_adgang_til_at_blive_ejere_af_fast_ejendom_fastsættes_ved_lov()
--@end:grundlov_par44--
--@label:grundlov_par45::meta:grundlov_kildemetadata--
----
§ 45. Stk. 1. Forslag til finanslov for det kommende finansår skal fremsættes
for folketinget senest fire måneder før finansårets begyndelse.
Stk. 2. Kan behandlingen af finanslovforslaget for det kommende finansår ikke
ventes tilendebragt inden finansårets begyndelse, skal forslag til en
midlertidig bevillingslov fremsættes for folketinget.
----
--@begin:grundlov_par45--
# Finanslovsforløb(måneder_før_finansårets_begyndelse: Heltal, behandling_forventes_afsluttet_før_finansårets_begyndelse: Boolsk)
= finanslov_frist_måneder = 4
| finanslovsforslag_er_fremsat_rettidigt(forløb: Finanslovsforløb) -> forløb.måneder_før_finansårets_begyndelse >= finanslov_frist_måneder
| midlertidig_bevillingslov_skal_fremsættes(forløb: Finanslovsforløb) -> forløb.behandling_forventes_afsluttet_før_finansårets_begyndelse == Falskt
--@end:grundlov_par45--
--@label:grundlov_par46::meta:grundlov_kildemetadata--
----
§ 46. Stk. 1.Forinden finansloven eller en midlertidig bevillingslov er
vedtaget af folketinget, må skatterne ikke opkræves.
Stk. 2. Ingen udgift må afholdes uden hjemmel i den af folketinget vedtagne
finanslov eller i en af folketinget vedtaget tillægsbevillingslov eller
midlertidig bevillingslov.
----
--@begin:grundlov_par46--
# VedtagetBevillingslov = FinanslovVedtaget | MidlertidigBevillingslovVedtaget | IngenBevillingslovVedtaget
# Udgiftshjemmel = HjemmelIFinanslov | HjemmelITillægsbevillingslov | HjemmelIMidlertidigBevillingslov | IngenUdgiftshjemmel
| skatter_må_opkræves_efter_par46_stk1(bevillingslov: VedtagetBevillingslov) -> bevillingslov != IngenBevillingslovVedtaget
| statsudgift_må_afholdes_efter_par46_stk2(hjemmel: Udgiftshjemmel) -> hjemmel != IngenUdgiftshjemmel
--@end:grundlov_par46--
--@label:grundlov_par47::meta:grundlov_kildemetadata--
----
§ 47. Stk. 1. Statsregnskabet skal fremlægges for folketinget senest seks
måneder efter finansårets udløb.
Stk. 2. Folketinget vælger et antal revisorer. Disse gennemgår det årlige
statsregnskab og påser, at samtlige statens indtægter er opført deri, og at
ingen udgift er afholdt uden hjemmel i finansloven eller anden bevillingslov.
De kan fordre sig alle fornødne oplysninger og aktstykker meddelt. De nærmere
regler for revisorernes antal og virksomhed fastsættes ved lov.
Stk. 3. Statsregnskabet med revisorernes bemærkninger forelægges folketinget
til beslutning.
----
--@begin:grundlov_par47--
# Statsregnskabsprøvelse(samtlige_statsindtægter_er_opført: Boolsk, ingen_udgift_uden_hjemmel_i_bevillingslov: Boolsk)
# Revisoroplysningsart = FornødenOplysning | FornødentAktstykke
# Statsregnskabsforelæggelse(med_revisorernes_bemærkninger: Boolsk, forelagt_folketinget_til_beslutning: Boolsk)
= statsregnskab_frist_måneder = 6
| statsregnskabet_fremlægges_rettidigt(måneder_efter_finansårets_udløb: Heltal) -> måneder_efter_finansårets_udløb >= 0 && måneder_efter_finansårets_udløb <= statsregnskab_frist_måneder
| folketinget_vælger_et_antal_revisorer()
| revisorer_gennemgår_det_årlige_statsregnskab()
| statsregnskabsprøvelse_opfylder_par47_stk2(prøvelse: Statsregnskabsprøvelse) -> prøvelse.samtlige_statsindtægter_er_opført && prøvelse.ingen_udgift_uden_hjemmel_i_bevillingslov
| revisorerne_kan_fordre_meddelt(oplysningsart: Revisoroplysningsart) -> Sandt
| nærmere_regler_om_revisorernes_antal_og_virksomhed_fastsættes_ved_lov()
| statsregnskabsforelæggelse_opfylder_par47_stk3(forelæggelse: Statsregnskabsforelæggelse) -> forelæggelse.med_revisorernes_bemærkninger && forelæggelse.forelagt_folketinget_til_beslutning
--@end:grundlov_par47--
--@label:grundlov_par48::meta:grundlov_kildemetadata--
----
§ 48. Folketinget fastsætter selv sin forretningsorden, der indeholder de
nærmere bestemmelser vedrørende forretningsgang og ordens opretholdelse.
----
--@begin:grundlov_par48--
| folketinget_fastsætter_forretningsorden()
| forretningsordenen_indeholder_nærmere_bestemmelser_om_forretningsgang_og_ordens_opretholdelse()
--@end:grundlov_par48--
--@label:grundlov_par49::meta:grundlov_kildemetadata--
----
§ 49. Folketingets møder er offentlige. Formanden eller det i
forretningsordenen bestemte antal medlemmer eller en minister kan dog forlange,
at alle uvedkommende fjernes, hvorpå det uden forhandling afgøres, om sagen
skal forhandles i et offentligt eller lukket møde.
----
--@begin:grundlov_par49--
# KravstillerTilLukketMøde = FormandenSomKravstiller | MedlemmerSomKravstillere(antal_efter_forretningsordenen_opfyldt: Boolsk) | MinisterSomKravstiller
| folketingets_møder_er_offentlige()
| kan_forlange_uvedkommende_fjernet(kravstiller: KravstillerTilLukketMøde) -> match kravstiller {
| FormandenSomKravstiller -> Sandt
| MedlemmerSomKravstillere(antal_opfyldt) -> antal_opfyldt
| MinisterSomKravstiller -> Sandt
}
| lukket_møde_afgøres_uden_forhandling()
--@end:grundlov_par49--
--@label:grundlov_par50::meta:grundlov_kildemetadata--
----
§ 50. Folketinget kan kun tage beslutning, når over halvdelen af medlemmerne
er tilstede og deltager i afstemningen.
----
--@begin:grundlov_par50--
# Afstemningsdeltagelse(tilstede_og_deltagende: Heltal, medlemmer_i_alt: Heltal)
| afstemningsdeltagelse_er_konsistent(deltagelse: Afstemningsdeltagelse) -> deltagelse.tilstede_og_deltagende >= 0 && deltagelse.medlemmer_i_alt > 0 && deltagelse.tilstede_og_deltagende <= deltagelse.medlemmer_i_alt
| folketinget_er_beslutningsdygtigt(deltagelse: Afstemningsdeltagelse) -> afstemningsdeltagelse_er_konsistent(deltagelse) && deltagelse.tilstede_og_deltagende * 2 > deltagelse.medlemmer_i_alt
--@end:grundlov_par50--
--@label:grundlov_par51::meta:grundlov_kildemetadata--
----
§ 51. Folketinget kan nedsætte kommissioner af sine medlemmer til at undersøge
almenvigtige sager. Kommissionerne er berettigede til at fordre skriftlige
eller mundtlige oplysninger såvel af private borgere som af offentlige
myndigheder.
----
--@begin:grundlov_par51--
# Kommissionssag(almenvigtig: Boolsk)
# Kommissionsoplysningsform = SkriftligOplysning | MundtligOplysning
# Kommissionsoplysningskilde = PrivatBorger | OffentligMyndighed
# Kommissionsoplysningskrav(form: Kommissionsoplysningsform, kilde: Kommissionsoplysningskilde)
| folketinget_kan_nedsætte_kommission_af_sine_medlemmer(sag: Kommissionssag) -> sag.almenvigtig
| kommission_kan_fordre_oplysning(krav: Kommissionsoplysningskrav) -> Sandt
--@end:grundlov_par51--
--@label:grundlov_par52::meta:grundlov_kildemetadata--
----
§ 52. Folketingets valg af medlemmer til kommissioner og hverv sker efter
forholdstal.
----
--@begin:grundlov_par52--
| valg_til_kommissioner_og_hverv_efter_forholdstal()
--@end:grundlov_par52--
--@label:grundlov_par53::meta:grundlov_kildemetadata--
----
§ 53. Ethvert medlem af folketinget kan med dettes samtykke bringe ethvert
offentligt anliggende under forhandling og derom æske ministrenes forklaring.
----
--@begin:grundlov_par53--
# Medlemsinitiativ = RejserOffentligtAnliggendeTilForhandling | ÆskerMinistrenesForklaringOmAnliggendet
| medlemsinitiativ_opfylder_par53(initiativ: Medlemsinitiativ, folketingets_samtykke: Samtykke) -> folketingets_samtykke == Givet
--@end:grundlov_par53--
--@label:grundlov_par54::meta:grundlov_kildemetadata--
----
§ 54. Andragender kan kun overgives til folketinget ved et af dettes
medlemmer.
----
--@begin:grundlov_par54--
| andragender_kun_via_medlemmer()
--@end:grundlov_par54--
--@label:grundlov_par55::meta:grundlov_kildemetadata--
----
§ 55. Ved lov bestemmes, at folketinget vælger en eller to personer, der ikke
er medlemmer af folketinget, til at have indseende med statens civile og
militære forvaltning.
----
--@begin:grundlov_par55--
# Tilsynsordning(antal_tilsynspersoner: Heltal, ingen_er_folketingsmedlem: Boolsk, omfatter_statens_civile_forvaltning: Boolsk, omfatter_statens_militære_forvaltning: Boolsk)
| tilsynsordning_opfylder_par55(ordning: Tilsynsordning) -> ordning.antal_tilsynspersoner >= 1 && ordning.antal_tilsynspersoner <= 2 && ordning.ingen_er_folketingsmedlem && ordning.omfatter_statens_civile_forvaltning && ordning.omfatter_statens_militære_forvaltning
--@end:grundlov_par55--
--@label:grundlov_par56::meta:grundlov_kildemetadata--
----
§ 56. Folketingsmedlemmerne er ene bundet ved deres overbevisning og ikke ved
nogen forskrift af deres vælgere.
----
--@begin:grundlov_par56--
| frit_mandat()
| ikke_bundet_af_vælgernes_forskrift()
--@end:grundlov_par56--
--@label:grundlov_par57::meta:grundlov_kildemetadata--
----
§ 57. Intet medlem af folketinget kan uden dettes samtykke tiltales eller
underkastes fængsling af nogen art, medmindre han er grebet på fersk gerning.
For sine ytringer i folketinget kan intet af dets medlemmer uden folketingets
samtykke drages til ansvar udenfor samme.
----
--@begin:grundlov_par57--
# IndgrebModFolketingsmedlem = TiltaleAfFolketingsmedlem | FængslingAfFolketingsmedlem
# Immunitetssag(indgreb: IndgrebModFolketingsmedlem, folketingets_samtykke: Samtykke, grebet_på_fersk_gerning: Boolsk)
# Ytringsansvarssag(folketingets_samtykke: Samtykke)
| indgreb_mod_folketingsmedlem_opfylder_par57(sag: Immunitetssag) -> sag.folketingets_samtykke == Givet || sag.grebet_på_fersk_gerning
| ansvar_uden_for_folketinget_for_ytring_opfylder_par57(sag: Ytringsansvarssag) -> sag.folketingets_samtykke == Givet
--@end:grundlov_par57--
--@label:grundlov_par58::meta:grundlov_kildemetadata--
----
§ 58. Folketingets medlemmer oppebærer et vederlag, hvis størrelse fastsættes
ved valgloven.
----
--@begin:grundlov_par58--
| vederlag_fastsættes_ved_valglov()
--@end:grundlov_par58--
Kapitel VI — Domstolene (§§ 59-65)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel VI -- Domstolene
--@label:grundlov_par59::meta:grundlov_kildemetadata--
----
§ 59. Stk. 1. Rigsretten består af indtil 15 af de efter embedsalder ældste
ordentlige medlemmer af rigets øverste domstol og et tilsvarende antal af
folketinget efter forholdstal for 6 år valgte medlemmer. For hver af de valgte
vælges en eller flere stedfortrædere. Folketingets medlemmer kan ikke vælges
til eller virke som medlemmer af rigsretten. Kan i et enkelt tilfælde nogle af
den øverste domstols medlemmer ikke deltage i sagens behandling og påkendelse,
fratræder et tilsvarende antal af de af folketinget sidst valgte
rigsretsmedlemmer.
Stk. 2. Retten vælger selv sin formand af sin midte.
Stk. 3. Er sag rejst ved rigsretten, beholder de af folketinget valgte
medlemmer deres sæde i retten for denne sags vedkommende, selvom det tidsrum,
for hvilket de er valgt, udløber.
Stk. 4. Nærmere regler om rigsretten fastsættes ved lov.
----
--@begin:grundlov_par59--
= rigsret_max_dommermedlemmer = 15
= rigsret_valgperiode_år = 6
# Rigsretsgrundsammensætning(dommermedlemmer_fra_rigets_øverste_domstol: Heltal, folketingsvalgte_medlemmer: Heltal, dommermedlemmer_udvalgt_efter_embedsalder: Boolsk, folketingsmedlemmer_valgt_efter_forholdstal: Boolsk, folketingsvalgte_medlemmers_valgperiode_år: Heltal, stedfortrædere_valgt_for_hvert_folketingsvalgt_medlem: Boolsk, et_folketingsmedlem_er_valgt_eller_virker_i_rigsretten: Boolsk) {
| antal_er_konsistente() -> dommermedlemmer_fra_rigets_øverste_domstol > 0 && dommermedlemmer_fra_rigets_øverste_domstol <= rigsret_max_dommermedlemmer && folketingsvalgte_medlemmer == dommermedlemmer_fra_rigets_øverste_domstol
| opfylder_par59_stk1() -> antal_er_konsistente() && dommermedlemmer_udvalgt_efter_embedsalder && folketingsmedlemmer_valgt_efter_forholdstal && folketingsvalgte_medlemmers_valgperiode_år == rigsret_valgperiode_år && stedfortrædere_valgt_for_hvert_folketingsvalgt_medlem && et_folketingsmedlem_er_valgt_eller_virker_i_rigsretten == Falskt
}
# Rigsretssagssammensætning(grundsammensætning: Rigsretsgrundsammensætning, dommermedlemmer_som_ikke_kan_deltage: Heltal, sidst_valgte_rigsretsmedlemmer_som_fratræder: Heltal) {
| er_konsistent() -> grundsammensætning.opfylder_par59_stk1() && dommermedlemmer_som_ikke_kan_deltage >= 0 && dommermedlemmer_som_ikke_kan_deltage <= grundsammensætning.dommermedlemmer_fra_rigets_øverste_domstol && sidst_valgte_rigsretsmedlemmer_som_fratræder == dommermedlemmer_som_ikke_kan_deltage
| deltagende_dommermedlemmer() -> grundsammensætning.dommermedlemmer_fra_rigets_øverste_domstol - dommermedlemmer_som_ikke_kan_deltage
| deltagende_folketingsvalgte_medlemmer() -> grundsammensætning.folketingsvalgte_medlemmer - sidst_valgte_rigsretsmedlemmer_som_fratræder
| er_afbalanceret_efter_par59_stk1() -> er_konsistent() && deltagende_dommermedlemmer() == deltagende_folketingsvalgte_medlemmer()
}
# Rigsretsformandsvalg(valgt_af_retten: Boolsk, valgt_blandt_rettens_medlemmer: Boolsk)
# Rigsretsmandat(sag_rejst: Boolsk, valgperiode_udløbet: Boolsk)
| formandsvalg_opfylder_par59_stk2(valg: Rigsretsformandsvalg) -> valg.valgt_af_retten && valg.valgt_blandt_rettens_medlemmer
| folketingsvalgt_medlem_beholder_sæde_efter_valgperiodens_udløb(mandat: Rigsretsmandat) -> mandat.sag_rejst && mandat.valgperiode_udløbet
| nærmere_regler_om_rigsretten_fastsættes_ved_lov()
--@end:grundlov_par59--
--@label:grundlov_par60::meta:grundlov_kildemetadata--
----
§ 60. Stk. 1. Rigsretten påkender de af kongen eller folketinget mod ministrene
anlagte sager.
Stk. 2. For rigsretten kan kongen med folketingets samtykke lade også andre
tiltale for forbrydelser, som han finder særdeles farlige for staten.
----
--@begin:grundlov_par60--
# Rigsretstiltaler = KongenSomRigsretstiltaler | FolketingetSomRigsretstiltaler
# Rigsretstiltalt = Minister | AndenPerson(kongen_finder_forbrydelsen_særdeles_farlig_for_staten: Boolsk)
# Rigsretssag(tiltaler: Rigsretstiltaler, tiltalt: Rigsretstiltalt, folketingets_samtykke: Samtykke) {
| kan_påkendes_efter_par60() -> match tiltalt {
| Minister -> Sandt
| AndenPerson(kongen_finder_forbrydelsen_særdeles_farlig_for_staten) -> tiltaler == KongenSomRigsretstiltaler && kongen_finder_forbrydelsen_særdeles_farlig_for_staten && folketingets_samtykke == Givet
}
}
--@end:grundlov_par60--
--@label:grundlov_par61::meta:grundlov_kildemetadata--
----
§ 61. Den dømmende magts udøvelse kan kun ordnes ved lov. Særdomstole med
dømmende myndighed kan ikke nedsættes.
----
--@begin:grundlov_par61--
| dømmende_magts_ordning_opfylder_par61(ordning_fastlagt_ved_lov: Boolsk) -> ordning_fastlagt_ved_lov
| særdomstol_med_dømmende_myndighed_kan_nedsættes_efter_par61() -> Falskt
--@end:grundlov_par61--
--@label:grundlov_par62::meta:grundlov_kildemetadata--
----
§ 62. Retsplejen skal stedse holdes adskilt fra forvaltningen. Regler herom
fastsættes ved lov.
----
--@begin:grundlov_par62--
# Retsplejeordning(retsplejen_adskilt_fra_forvaltningen: Boolsk, regler_fastsat_ved_lov: Boolsk) {
| opfylder_par62() -> retsplejen_adskilt_fra_forvaltningen && regler_fastsat_ved_lov
}
--@end:grundlov_par62--
--@label:grundlov_par63::meta:grundlov_kildemetadata--
----
§ 63. Stk. 1. Domstolene er berettigede til at påkende ethvert spørgsmål om
øvrighedsmyndighedens grænser. Den, der vil rejse sådant spørgsmål, kan dog
ikke ved at bringe sagen for domstolene unddrage sig fra foreløbig at
efterkomme øvrighedens befaling.
Stk. 2. Påkendelse af spørgsmål om øvrighedsmyndighedens grænser kan ved lov
henlægges til en eller flere forvaltningsdomstole, hvis afgørelser dog skal
kunne prøves ved rigets øverste domstol. De nærmere regler herom fastsættes
ved lov.
----
--@begin:grundlov_par63--
# Øvrighedsgrænsesag(øvrighedens_befaling_foreløbigt_efterkommet: Boolsk) {
| kan_påkendes_af_domstolene_efter_par63_stk1() -> Sandt
| foreløbig_efterlevelse_opfylder_par63_stk1() -> øvrighedens_befaling_foreløbigt_efterkommet
| har_opsættende_virkning_efter_par63_stk1() -> Falskt
}
# Forvaltningsdomstolsordning(henlagt_ved_lov: Boolsk, afgørelser_kan_prøves_ved_rigets_øverste_domstol: Boolsk, nærmere_regler_fastsat_ved_lov: Boolsk) {
| opfylder_par63_stk2() -> henlagt_ved_lov && afgørelser_kan_prøves_ved_rigets_øverste_domstol && nærmere_regler_fastsat_ved_lov
}
--@end:grundlov_par63--
--@label:grundlov_par64::meta:grundlov_kildemetadata--
----
§ 64. Dommerne har i deres kald alene at rette sig efter loven. De kan ikke
afsættes uden ved dom, ejheller forflyttes mod deres ønske, uden for de
tilfælde, hvor en omordning af domstolene finder sted. Dog kan den dommer, der
har fyldt sit 65. år, afskediges, men uden tab af indtægter indtil det
tidspunkt, til hvilket han skulle være afskediget på grund af alder.
----
--@begin:grundlov_par64--
# Dommerindgreb = Afsættelse(ved_dom: Boolsk) | ForflyttelseModØnske(omordning_af_domstolene_finder_sted: Boolsk) | Aldersafskedigelse(alder: Heltal, indtægter_bevaret_til_pligtig_afgangsalder: Boolsk)
= dommer_afskedigelsesalder = 65
| dommere_retter_sig_alene_efter_loven()
| dommerindgreb_opfylder_par64(indgreb: Dommerindgreb) -> match indgreb {
| Afsættelse(ved_dom) -> ved_dom
| ForflyttelseModØnske(omordning_finder_sted) -> omordning_finder_sted
| Aldersafskedigelse(alder, indtægter_bevaret) -> alder >= dommer_afskedigelsesalder && indtægter_bevaret
}
--@end:grundlov_par64--
--@label:grundlov_par65::meta:grundlov_kildemetadata--
----
§ 65. Stk. 1. I retsplejen gennemføres offentlighed og mundtlighed i videst
muligt omfang.
Stk. 2. I strafferetsplejen skal lægmænd medvirke. Det fastsættes ved lov, i
hvilke sager og under hvilke former denne medvirken skal finde sted, herunder i
hvilke sager nævninger skal medvirke.
----
--@begin:grundlov_par65--
# Retsplejeprincip = Offentlighed | Mundtlighed
# Retsplejeprincipforløb(princip: Retsplejeprincip, gennemført_i_videst_muligt_omfang: Boolsk) {
| opfylder_par65_stk1() -> gennemført_i_videst_muligt_omfang && match princip {
| Offentlighed -> Sandt
| Mundtlighed -> Sandt
}
}
# Strafferetsplejeordning(lægmænd_medvirker: Boolsk, medvirkningens_sager_og_former_fastsat_ved_lov: Boolsk, nævningesager_fastsat_ved_lov: Boolsk) {
| opfylder_par65_stk2() -> lægmænd_medvirker && medvirkningens_sager_og_former_fastsat_ved_lov && nævningesager_fastsat_ved_lov
}
--@end:grundlov_par65--
Kapitel VII — Folkekirken (§§ 66-70)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel VII -- Folkekirken og trossamfund
--@label:grundlov_par66::meta:grundlov_kildemetadata--
----
§ 66. Folkekirkens forfatning ordnes ved lov.
----
--@begin:grundlov_par66--
| folkekirkens_forfatning_ordnes_ved_lov()
--@end:grundlov_par66--
--@label:grundlov_par67::meta:grundlov_kildemetadata--
----
§ 67. Borgerne har ret til at forene sig i samfund for at dyrke Gud på den
måde, der stemmer med deres overbevisning, dog at intet læres eller foretages,
som strider mod sædeligheden eller den offentlige orden.
----
--@begin:grundlov_par67--
# Religionsudtryk = Lære | Foretagelse
# Religionsudøvelse(udtryk: Religionsudtryk, stemmer_med_overbevisningen: Boolsk, strider_mod_sædeligheden: Boolsk, strider_mod_den_offentlige_orden: Boolsk) {
| er_beskyttet_efter_par67() -> stemmer_med_overbevisningen && strider_mod_sædeligheden == Falskt && strider_mod_den_offentlige_orden == Falskt && match udtryk {
| Lære -> Sandt
| Foretagelse -> Sandt
}
}
| borgerne_har_ret_til_at_forene_sig_i_samfund_for_at_dyrke_gud()
--@end:grundlov_par67--
--@label:grundlov_par68::meta:grundlov_kildemetadata--
----
§ 68. Ingen er pligtig at yde personlige bidrag til nogen anden gudsdyrkelse
end den, som er hans egen.
----
--@begin:grundlov_par68--
# Gudsdyrkelse = EgenGudsdyrkelse | AndenGudsdyrkelse
# PersonligtBidragsforhold(gudsdyrkelse: Gudsdyrkelse, bidragspligt_pålagt: Boolsk) {
| opfylder_par68() -> match gudsdyrkelse {
| EgenGudsdyrkelse -> Sandt
| AndenGudsdyrkelse -> bidragspligt_pålagt == Falskt
}
}
--@end:grundlov_par68--
--@label:grundlov_par69::meta:grundlov_kildemetadata--
----
§ 69. De fra folkekirken afvigende trossamfunds forhold ordnes nærmere ved lov.
----
--@begin:grundlov_par69--
| de_fra_folkekirken_afvigende_trossamfunds_forhold_ordnes_nærmere_ved_lov()
--@end:grundlov_par69--
--@label:grundlov_par70::meta:grundlov_kildemetadata--
----
§ 70. Ingen kan på grund af sin trosbekendelse eller afstamning berøves adgang
til den fulde nydelse af borgerlige og politiske rettigheder eller unddrage sig
opfyldelsen af nogen almindelig borgerpligt.
----
--@begin:grundlov_par70--
# Ligebehandlingsgrund = Trosbekendelse | AfstamningSomLigebehandlingsgrund
# Rettighedstype = BorgerligRettighed | PolitiskRettighed
# Par70Virkning = BerøvelseAfRettighed(rettighed: Rettighedstype) | UnddragelseFraAlmindeligBorgerpligt
# Par70Sag(grund: Ligebehandlingsgrund, virkning: Par70Virkning, virkningen_sker_på_grund_af_grunden: Boolsk) {
| opfylder_par70() -> virkningen_sker_på_grund_af_grunden == Falskt && grund_er_omfattet() && virkning_er_omfattet()
| grund_er_omfattet() -> match grund {
| Trosbekendelse -> Sandt
| AfstamningSomLigebehandlingsgrund -> Sandt
}
| virkning_er_omfattet() -> match virkning {
| BerøvelseAfRettighed(_) -> Sandt
| UnddragelseFraAlmindeligBorgerpligt -> Sandt
}
}
--@end:grundlov_par70--
Kapitel VIII — Grundrettigheder (§§ 71-85)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel VIII -- Borgernes rettigheder
--@label:grundlov_par71::meta:grundlov_kildemetadata--
----
§ 71. Stk. 1. Den personlige frihed er ukrænkelig. Ingen dansk borger kan på
grund af sin politiske eller religiøse overbevisning eller sin afstamning
underkastes nogen form for frihedsberøvelse.
Stk. 2. Frihedsberøvelse kan kun finde sted med hjemmel i loven.
Stk. 3. Enhver, der anholdes, skal inden 24 timer stilles for en dommer. Hvis
den anholdte ikke straks kan sættes på fri fod, skal dommeren ved en af grunde
ledsaget kendelse, der afsiges snarest muligt og senest inden tre dage, afgøre,
om han skal fængsles, og, hvis han kan løslades mod sikkerhed, bestemme dennes
art og størrelse. Denne bestemmelse kan for Grønlands vedkommende fraviges ved
lov, forsåvidt dette efter de stedlige forhold må anses for påkrævet.
Stk. 4. Den kendelse, som dommeren afsiger, kan af vedkommende straks særskilt
indbringes for højere ret.
Stk. 5. Ingen kan underkastes varetægtsfængsel for en forseelse, som kun kan
medføre straf af bøde eller hæfte.
Stk. 6. Udenfor strafferetsplejen skal lovligheden af en frihedsberøvelse, der
ikke er besluttet af en dømmende myndighed, og som ikke har hjemmel i
lovgivningen om udlændinge, på begæring af den, der er berøvet sin frihed,
eller den, der handler på hans vegne, forelægges de almindelige domstole eller
anden dømmende myndighed til prøvelse. Nærmere regler herom fastsættes ved lov.
Stk. 7. Behandlingen af de i stk. 6 nævnte personer undergives et af
folketinget valgt tilsyn, hvortil de pågældende skal have adgang til at rette
henvendelse.
----
--@begin:grundlov_par71--
# PersonkredsPar71 = DanskBorger | AndenPerson
# Frihedsberøvelsesgrund = PolitiskOverbevisning | ReligiøsOverbevisning | AfstamningSomFrihedsberøvelsesgrund | AndenFrihedsberøvelsesgrund
# Frihedsberøvelsessag(personkreds: PersonkredsPar71, grund: Frihedsberøvelsesgrund, har_lovhjemmel: Boolsk) {
| grund_er_beskyttet_efter_stk1() -> match grund {
| PolitiskOverbevisning -> Sandt
| ReligiøsOverbevisning -> Sandt
| AfstamningSomFrihedsberøvelsesgrund -> Sandt
| AndenFrihedsberøvelsesgrund -> Falskt
}
| opfylder_par71_stk1_og_2() -> har_lovhjemmel
| exception dansk_borger_og_beskyttet_grund opfylder_par71_stk1_og_2() -> Falskt under personkreds == DanskBorger && grund_er_beskyttet_efter_stk1()
}
| personlig_frihed_er_ukrænkelig()
= frist_fremstilling_timer = 24
= frist_kendelse_dage = 3
# Anholdelsesforløb(timer_til_fremstilling_for_dommer: Heltal, straks_løsladt: Boolsk, kendelse_afsagt_snarest_muligt: Boolsk, dage_til_kendelse: Heltal, kendelse_begrundet: Boolsk, fængslingsspørgsmålet_afgjort: Boolsk, løsladelse_mod_sikkerhed_mulig: Boolsk, sikkerhedens_art_og_størrelse_bestemt: Boolsk) {
| tidsangivelser_er_konsistente() -> timer_til_fremstilling_for_dommer >= 0 && dage_til_kendelse >= 0
| opfylder_hovedreglen_i_par71_stk3() -> tidsangivelser_er_konsistente() && timer_til_fremstilling_for_dommer <= frist_fremstilling_timer && hvis straks_løsladt {
Sandt
} ellers {
kendelse_afsagt_snarest_muligt && dage_til_kendelse <= frist_kendelse_dage && kendelse_begrundet && fængslingsspørgsmålet_afgjort && (løsladelse_mod_sikkerhed_mulig == Falskt || sikkerhedens_art_og_størrelse_bestemt)
}
}
# Fremstillingssag(sted: Rigsdel, forløb: Anholdelsesforløb, grønlandsk_fravigelse_hjemlet_ved_lov: Boolsk, stedlige_forhold_gør_fravigelse_påkrævet: Boolsk) {
| opfylder_par71_stk3() -> forløb.opfylder_hovedreglen_i_par71_stk3()
| exception grønlandsk_lovfravigelse opfylder_par71_stk3() -> forløb.tidsangivelser_er_konsistente() under sted == Grønland && grønlandsk_fravigelse_hjemlet_ved_lov && stedlige_forhold_gør_fravigelse_påkrævet
}
# Kendelsesanke(straks_indbragt: Boolsk, særskilt_indbragt: Boolsk, indbragt_for_højere_ret: Boolsk)
| kendelsesanke_opfylder_par71_stk4(anke: Kendelsesanke) -> anke.straks_indbragt && anke.særskilt_indbragt && anke.indbragt_for_højere_ret
# Forseelsesstraf = KunBødeEllerHæfte | KanMedføreAndenStraf
| varetægtsfængsling_opfylder_par71_stk5(straf: Forseelsesstraf) -> straf != KunBødeEllerHæfte
# Frihedsberøvelsesbeslutning = BesluttetAfDømmendeMyndighed | IkkeBesluttetAfDømmendeMyndighed
# Prøvelsesbegærer = DenFrihedsberøvede | RepræsentantForDenFrihedsberøvede | IngenPrøvelsesbegærer
# PrøvelsesvejPar71 = AlmindeligeDomstole | AndenDømmendeMyndighed | IngenPrøvelsesvej
# AdministrativFrihedsberøvelse(hører_til_strafferetsplejen: Boolsk, beslutning: Frihedsberøvelsesbeslutning, har_hjemmel_i_udlændingelovgivningen: Boolsk, begærer: Prøvelsesbegærer, prøvelsesvej: PrøvelsesvejPar71) {
| person_er_omfattet_af_par71_stk6() -> hører_til_strafferetsplejen == Falskt && beslutning == IkkeBesluttetAfDømmendeMyndighed && har_hjemmel_i_udlændingelovgivningen == Falskt
| prøvelse_er_begæret_af_berettiget() -> begærer == DenFrihedsberøvede || begærer == RepræsentantForDenFrihedsberøvede
| prøvelsespligt_indtræder_efter_par71_stk6() -> person_er_omfattet_af_par71_stk6() && prøvelse_er_begæret_af_berettiget()
| prøvelsesforløb_opfylder_par71_stk6() -> hvis prøvelsespligt_indtræder_efter_par71_stk6() {
prøvelsesvej == AlmindeligeDomstole || prøvelsesvej == AndenDømmendeMyndighed
} ellers {
Sandt
}
}
| prøvelse_af_frihedsberøvelse_fastsættes_ved_lov()
# TilsynsforløbPar71(frihedsberøvelse: AdministrativFrihedsberøvelse, folketinget_har_valgt_tilsyn: Boolsk, den_frihedsberøvede_har_adgang_til_henvendelse: Boolsk) {
| opfylder_par71_stk7() -> hvis frihedsberøvelse.person_er_omfattet_af_par71_stk6() {
folketinget_har_valgt_tilsyn && den_frihedsberøvede_har_adgang_til_henvendelse
} ellers {
Sandt
}
}
--@end:grundlov_par71--
--@label:grundlov_par72::meta:grundlov_kildemetadata--
----
§ 72. Boligen er ukrænkelig. Husundersøgelse, beslaglæggelse og undersøgelse
af breve og andre papirer samt brud på post-, telegraf- og telefonhemmeligheden
må, hvor ingen lov hjemler en særegen undtagelse, alene ske efter en
retskendelse.
----
--@begin:grundlov_par72--
# Privatlivsindgreb = Husundersøgelse | Beslaglæggelse | UndersøgelseAfBreveOgAndrePapirer | BrudPåPostTelegrafEllerTelefonhemmeligheden
# Privatlivsindgrebssag(indgreb: Privatlivsindgreb, retskendelse_foreligger: Boolsk, særegen_undtagelse_hjemlet_ved_lov: Boolsk) {
| indgreb_er_omfattet() -> match indgreb {
| Husundersøgelse -> Sandt
| Beslaglæggelse -> Sandt
| UndersøgelseAfBreveOgAndrePapirer -> Sandt
| BrudPåPostTelegrafEllerTelefonhemmeligheden -> Sandt
}
| opfylder_par72() -> indgreb_er_omfattet() && retskendelse_foreligger
| exception særegen_lovundtagelse opfylder_par72() -> indgreb_er_omfattet() under særegen_undtagelse_hjemlet_ved_lov
}
| boligen_er_ukrænkelig()
--@end:grundlov_par72--
--@label:grundlov_par73::meta:grundlov_kildemetadata--
----
§ 73. Stk. 1. Ejendomsretten er ukrænkelig. Ingen kan tilpligtes at afstå sin
ejendom, uden hvor almenvellet kræver det. Det kan kun ske ifølge lov og mod
fuldstændig erstatning.
Stk. 2. Når et lovforslag vedrørende ekspropriation af ejendom er vedtaget,
kan en trediedel af folketingets medlemmer indenfor en frist af tre søgnedage
fra forslagets endelige vedtagelse kræve, at det først indstilles til kongelig
stadfæstelse, når nyvalg til folketinget har fundet sted, og forslaget påny er
vedtaget af det derefter sammentrædende folketing.
Stk. 3. Ethvert spørgsmål om ekspropriationsaktens lovlighed og erstatningens
størrelse kan indbringes for domstolene. Prøvelsen af erstatningens størrelse
kan ved lov henlægges til domstole oprettet i dette øjemed.
----
--@begin:grundlov_par73--
# Ekspropriationssag(almenvellet_kræver_afståelsen: Boolsk, afståelsen_sker_ifølge_lov: Boolsk, fuldstændig_erstatning_ydes: Boolsk) {
| opfylder_par73_stk1() -> almenvellet_kræver_afståelsen && afståelsen_sker_ifølge_lov && fuldstændig_erstatning_ydes
}
| ejendomsretten_er_ukrænkelig()
= ekspropriation_frist_søgnedage = 3
= ekspropriationsbegæringens_medlemstærskel = Brøk(tæller = 1, nævner = 3)
# Ekspropriationsudsættelsesbegæring(lovforslag_vedrører_ekspropriation_af_ejendom: Boolsk, lovforslag_endeligt_vedtaget: Boolsk, opbakning: Medlemsopbakning, søgnedage_efter_endelig_vedtagelse: Heltal) {
| opfylder_par73_stk2() -> lovforslag_vedrører_ekspropriation_af_ejendom && lovforslag_endeligt_vedtaget && medlemsopbakning_er_mindst(opbakning, ekspropriationsbegæringens_medlemstærskel) && søgnedage_efter_endelig_vedtagelse >= 0 && søgnedage_efter_endelig_vedtagelse <= ekspropriation_frist_søgnedage
}
# Ekspropriationsstadfæstelsesforløb(begæring: Ekspropriationsudsættelsesbegæring, nyvalg_til_folketinget_afholdt: Boolsk, forslaget_genvedtaget_af_det_nye_folketing: Boolsk) {
| opfylder_par73_stk2() -> hvis begæring.opfylder_par73_stk2() {
nyvalg_til_folketinget_afholdt && forslaget_genvedtaget_af_det_nye_folketing
} ellers {
Sandt
}
}
# Ekspropriationsprøvelsesemne = EkspropriationsaktensLovlighed | ErstatningensStørrelse
# Ekspropriationsprøvelsesvej = AlmindeligeDomstoleSomPrøvelsesvej | SærligErstatningsdomstol(oprettet_ved_lov: Boolsk)
# Ekspropriationsprøvelse(emne: Ekspropriationsprøvelsesemne, vej: Ekspropriationsprøvelsesvej) {
| opfylder_par73_stk3() -> match emne {
| EkspropriationsaktensLovlighed -> vej == AlmindeligeDomstoleSomPrøvelsesvej
| ErstatningensStørrelse -> match vej {
| AlmindeligeDomstoleSomPrøvelsesvej -> Sandt
| SærligErstatningsdomstol(oprettet_ved_lov) -> oprettet_ved_lov
}
}
}
--@end:grundlov_par73--
--@label:grundlov_par74::meta:grundlov_kildemetadata--
----
§ 74. Alle indskrænkninger i den fri og lige adgang til erhverv, som ikke er
begrundede i det almene vel, skal hæves ved lov.
----
--@begin:grundlov_par74--
# Erhvervsindskrænkning(begrundet_i_det_almene_vel: Boolsk, hævet_ved_lov: Boolsk) {
| opfylder_par74() -> hvis begrundet_i_det_almene_vel {
Sandt
} ellers {
hævet_ved_lov
}
}
--@end:grundlov_par74--
--@label:grundlov_par75::meta:grundlov_kildemetadata--
----
§ 75. Stk. 1. Til fremme af almenvellet bør det tilstræbes, at enhver
arbejdsduelig borger har mulighed for arbejde på vilkår, der betrygger hans
tilværelse.
Stk. 2. Den, der ikke selv kan ernære sig eller sine, og hvis forsørgelse ikke
påhviler nogen anden, er berettiget til hjælp af det offentlige, dog mod at
underkaste sig de forpligtelser, som loven herom påbyder.
----
--@begin:grundlov_par75--
# Arbejdsmulighedsmålsætning(tilstræbt_til_fremme_af_almenvellet: Boolsk, arbejdsduelig_borger_har_mulighed_for_arbejde: Boolsk, arbejdsvilkår_betrygger_tilværelsen: Boolsk) {
| tilstræbelsen_opfylder_ordlydens_modalitet_i_par75_stk1() -> tilstræbt_til_fremme_af_almenvellet
| målsætningens_tilsigtede_tilstand_er_opnået() -> arbejdsduelig_borger_har_mulighed_for_arbejde && arbejdsvilkår_betrygger_tilværelsen
}
# OffentligHjælpssag(kan_selv_ernære_sig_eller_sine: Boolsk, forsørgelsen_påhviler_en_anden: Boolsk, underkaster_sig_lovpåbudte_forpligtelser: Boolsk) {
| har_ret_til_offentlig_hjælp_efter_par75_stk2() -> kan_selv_ernære_sig_eller_sine == Falskt && forsørgelsen_påhviler_en_anden == Falskt && underkaster_sig_lovpåbudte_forpligtelser
}
--@end:grundlov_par75--
--@label:grundlov_par76::meta:grundlov_kildemetadata--
----
§ 76. Alle børn i den undervisningspligtige alder har ret til fri undervisning i
folkeskolen. Forældre eller værger, der selv sørger for, at børnene får en
undervisning, der kan stå mål med, hvad der almindeligvis kræves i folkeskolen,
er ikke pligtige at lade børnene undervise i folkeskolen.
----
--@begin:grundlov_par76--
# Undervisningssag(barn_i_undervisningspligtig_alder: Boolsk, forældre_eller_værger_sørger_selv_for_undervisning: Boolsk, undervisningen_står_mål_med_folkeskolen: Boolsk) {
| barn_har_ret_til_fri_undervisning_i_folkeskolen() -> barn_i_undervisningspligtig_alder
| fritaget_fra_pligt_til_undervisning_i_folkeskolen() -> barn_i_undervisningspligtig_alder && forældre_eller_værger_sørger_selv_for_undervisning && undervisningen_står_mål_med_folkeskolen
}
--@end:grundlov_par76--
--@label:grundlov_par77::meta:grundlov_kildemetadata--
----
§ 77. Enhver er berettiget til på tryk, i skrift og tale at offentliggøre sine
tanker, dog under ansvar for domstolene. Censur og andre forebyggende
forholdsregler kan ingensinde påny indføres.
----
--@begin:grundlov_par77--
# Offentliggørelsesform = Tryk | Skrift | Tale
# Ytringssag(form: Offentliggørelsesform) {
| retten_til_at_offentliggøre_tanker_omfatter_formen() -> match form {
| Tryk -> Sandt
| Skrift -> Sandt
| Tale -> Sandt
}
| offentliggørelse_er_under_ansvar_for_domstolene() -> Sandt
}
# ForebyggendeYtringsforholdsregel = Censur | AndenForebyggendeForholdsregel
| forebyggende_ytringsforholdsregel_kan_indføres_efter_par77(forholdsregel: ForebyggendeYtringsforholdsregel) -> Falskt
--@end:grundlov_par77--
--@label:grundlov_par78::meta:grundlov_kildemetadata--
----
§ 78. Stk. 1. Borgerne har ret til uden forudgående tilladelse at danne
foreninger i ethvert lovligt øjemed.
Stk. 2. Foreninger, der virker ved eller søger at nå deres mål ved vold,
anstiftelse af vold eller lignende strafbar påvirkning af anderledes tænkende,
bliver at opløse ved dom.
Stk. 3. Ingen forening kan opløses ved en regeringsforanstaltning. Dog kan en
forening foreløbig forbydes, men der skal da straks anlægges sag imod den til
dens opløsning.
Stk. 4. Sager om opløsning af politiske foreninger skal uden særlig tilladelse
kunne indbringes for rigets øverste domstol.
Stk. 5. Opløsningens retsvirkninger fastsættes nærmere ved lov.
----
--@begin:grundlov_par78--
# Foreningsformål = LovligtFormål | UlovligtFormål
| forening_kan_dannes_uden_forudgående_tilladelse(formål: Foreningsformål) -> formål == LovligtFormål
# StrafbarForeningspåvirkning = Vold | AnstiftelseAfVold | LignendeStrafbarPåvirkningAfAnderledesTænkende
# Foreningsvirke = VirkerVed(påvirkning: StrafbarForeningspåvirkning) | SøgerAtNåSitMålVed(påvirkning: StrafbarForeningspåvirkning) | AndetForeningsvirke
| forening_skal_opløses_ved_dom(virke: Foreningsvirke) -> match virke {
| VirkerVed(_) -> Sandt
| SøgerAtNåSitMålVed(_) -> Sandt
| AndetForeningsvirke -> Falskt
}
# Foreningsindgreb = OpløsningVedRegeringsforanstaltning | ForeløbigtForbud(sag_til_opløsning_straks_anlagt: Boolsk)
| foreningsindgreb_opfylder_par78_stk3(indgreb: Foreningsindgreb) -> match indgreb {
| OpløsningVedRegeringsforanstaltning -> Falskt
| ForeløbigtForbud(sag_straks_anlagt) -> sag_straks_anlagt
}
| politisk_forenings_opløsningssag_kan_indbringes_for_rigets_øverste_domstol(særlig_tilladelse_kræves: Boolsk) -> særlig_tilladelse_kræves == Falskt
| opløsningens_retsvirkninger_fastsættes_ved_lov()
--@end:grundlov_par78--
--@label:grundlov_par79::meta:grundlov_kildemetadata--
----
§ 79. Borgerne har ret til uden forudgående tilladelse at samle sig ubevæbnede.
Offentlige forsamlinger har politiet ret til at overvære. Forsamlinger under
åben himmel kan forbydes, når der af dem kan befrygtes fare for den offentlige
fred.
----
--@begin:grundlov_par79--
# Forsamlingssag(ubevæbnet: Boolsk, offentlig: Boolsk, under_åben_himmel: Boolsk, fare_for_den_offentlige_fred: Boolsk) {
| kan_samles_uden_forudgående_tilladelse() -> ubevæbnet
| politiet_har_ret_til_at_overvære() -> offentlig
| kan_forbydes_efter_par79() -> under_åben_himmel && fare_for_den_offentlige_fred
}
--@end:grundlov_par79--
--@label:grundlov_par80::meta:grundlov_kildemetadata--
----
§ 80. Ved opløb må den væbnede magt, når den ikke angribes, kun skride ind,
efter at mængden tre gange i kongens og lovens navn forgæves er opfordret til at
skilles.
----
--@begin:grundlov_par80--
= opfordringer_før_magtanvendelse = 3
# Opløbssituation(den_væbnede_magt_angribes: Boolsk, forgæves_opfordringer_til_at_skilles: Heltal, opfordret_i_kongens_og_lovens_navn: Boolsk) {
| opfordringsantal_er_konsistent() -> forgæves_opfordringer_til_at_skilles >= 0
| den_væbnede_magt_kan_skride_ind_efter_par80() -> opfordringsantal_er_konsistent() && forgæves_opfordringer_til_at_skilles >= opfordringer_før_magtanvendelse && opfordret_i_kongens_og_lovens_navn
| exception angrebet den_væbnede_magt_kan_skride_ind_efter_par80() -> opfordringsantal_er_konsistent() under den_væbnede_magt_angribes
}
--@end:grundlov_par80--
--@label:grundlov_par81::meta:grundlov_kildemetadata--
----
§ 81. Enhver våbenfør mand er forpligtet til med sin person at bidrage til
fædrelandets forsvar efter de nærmere bestemmelser, som loven foreskriver.
----
--@begin:grundlov_par81--
# Våbenførhed = Våbenfør | IkkeVåbenfør
# Værnepligtslovgrundlag = NærmereBestemmelserFastsatVedLov | NærmereBestemmelserIkkeFastsatVedLov
# Værnepligtssag(våbenførhed: Våbenførhed, køn: Køn, lovgrundlag: Værnepligtslovgrundlag) {
| er_forpligtet_til_personligt_at_bidrage_til_fædrelandets_forsvar() -> våbenførhed == Våbenfør && køn == Mand
| opfylder_par81() -> hvis er_forpligtet_til_personligt_at_bidrage_til_fædrelandets_forsvar() {
lovgrundlag == NærmereBestemmelserFastsatVedLov
} ellers {
Sandt
}
}
--@end:grundlov_par81--
--@label:grundlov_par82::meta:grundlov_kildemetadata--
----
§ 82. Kommunernes ret til under statens tilsyn selvstændigt at styre deres
anliggender ordnes ved lov.
----
--@begin:grundlov_par82--
# KommunalStyrelsesordning(selvstændig_styring_af_egne_anliggender: Boolsk, under_statens_tilsyn: Boolsk, ordnet_ved_lov: Boolsk) {
| opfylder_par82() -> selvstændig_styring_af_egne_anliggender && under_statens_tilsyn && ordnet_ved_lov
}
--@end:grundlov_par82--
--@label:grundlov_par83::meta:grundlov_kildemetadata--
----
§ 83. Enhver i lovgivningen til adel, titel og rang knyttet forret er afskaffet.
----
--@begin:grundlov_par83--
# Forretsgrundlag = Adel | Titel | Rang
| forret_knyttet_i_lovgivningen_er_afskaffet(grundlag: Forretsgrundlag) -> match grundlag {
| Adel -> Sandt
| Titel -> Sandt
| Rang -> Sandt
}
--@end:grundlov_par83--
--@label:grundlov_par84::meta:grundlov_kildemetadata--
----
§ 84. Intet len, stamhus, fideikommisgods eller andet familiefideikommis kan for
fremtiden oprettes.
----
--@begin:grundlov_par84--
# Familiefideikommisform = Len | Stamhus | Fideikommisgods | AndetFamiliefideikommis
| familiefideikommis_kan_oprettes_for_fremtiden(form: Familiefideikommisform) -> Falskt
--@end:grundlov_par84--
--@label:grundlov_par85::meta:grundlov_kildemetadata--
----
§ 85. For forsvarsmagten er de i §§ 71, 78 og 79 givne bestemmelser kun
anvendelige med de indskrænkninger, der følger af de militære loves forskrifter.
----
--@begin:grundlov_par85--
# Frihedsbestemmelse = PersonligFrihedPar71 | YtringsfrihedPar77 | ForeningsfrihedPar78 | ForsamlingsfrihedPar79
# MilitærIndskrænkning(bestemmelse: Frihedsbestemmelse, følger_af_militære_loves_forskrifter: Boolsk) {
| bestemmelsen_er_omfattet_af_ordlydens_henvisning_i_par85() -> match bestemmelse {
| PersonligFrihedPar71 -> Sandt
| YtringsfrihedPar77 -> Falskt
| ForeningsfrihedPar78 -> Sandt
| ForsamlingsfrihedPar79 -> Sandt
}
| indskrænkning_har_hjemmel_i_par85() -> bestemmelsen_er_omfattet_af_ordlydens_henvisning_i_par85() && følger_af_militære_loves_forskrifter
}
--@end:grundlov_par85--
Kapitel IX — Forskellige bestemmelser (§§ 86-87)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel IX -- Forskellige bestemmelser
--@label:grundlov_par86::meta:grundlov_kildemetadata--
----
§ 86. Valgretsalderen til de kommunale råd og menighedsrådene er den for valg
til folketinget til enhver tid gældende. For Færøernes og Grønlands vedkommende
fastsættes valgretsalderen til de kommunale råd og menighedsrådene ved lov
eller i henhold til lov.
----
--@begin:grundlov_par86--
# Rådstype = KommunaltRåd | Menighedsråd
# ValgretsalderensRetsgrundlag = FølgerFolketingsvalgretsalderenTilEnhverTid | FastsættesVedLovEllerIHEnholdTilLov
# Rådsvalgretsalder(rigsdel: Rigsdel, råd: Rådstype) {
| retsgrundlag_efter_par86() -> FølgerFolketingsvalgretsalderenTilEnhverTid
| exception færøerne_og_grønland retsgrundlag_efter_par86() -> FastsættesVedLovEllerIHEnholdTilLov under rigsdel == Færøerne || rigsdel == Grønland
}
--@end:grundlov_par86--
--@label:grundlov_par87::meta:grundlov_kildemetadata--
----
§ 87. Islandske statsborgere, der i medfør af loven om ophævelse af
dansk-islandsk forbundslov m.m. nyder lige ret med danske statsborgere,
bevarer de i grundloven hjemlede rettigheder, der er knyttede til dansk
indfødsret.
----
--@begin:grundlov_par87--
# IslandskRettighedssag(nyder_lige_ret_efter_forbundslovens_ophævelseslov: Boolsk, rettigheden_er_hjemlet_i_grundloven: Boolsk, rettigheden_er_knyttet_til_dansk_indfødsret: Boolsk) {
| bevarer_rettigheden_efter_par87() -> nyder_lige_ret_efter_forbundslovens_ophævelseslov && rettigheden_er_hjemlet_i_grundloven && rettigheden_er_knyttet_til_dansk_indfødsret
}
--@end:grundlov_par87--
Kapitel X — Grundlovsændring (§ 88)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel X -- Grundlovsændringer
--@label:grundlov_par88::meta:grundlov_kildemetadata--
----
§ 88. Vedtager folketinget et forslag til en ny grundlovsbestemmelse, og
regeringen vil fremme sagen, udskrives nyvalg til folketinget. Vedtages
forslaget i uændret skikkelse af det efter valget følgende folketing, bliver
det inden et halvt år efter den endelige vedtagelse at forelægge
folketingsvælgerne til godkendelse eller forkastelse ved direkte afstemning.
De nærmere regler for denne afstemning fastsættes ved lov. Har et flertal af
de i afstemningen deltagende og mindst 40 pct. af samtlige stemmeberettigede
afgivet deres stemme for folketingets beslutning, og stadfæstes denne af
kongen, er den grundlov.
----
--@begin:grundlov_par88--
# ForslagsskikkelsePar88 = UændretSkikkelse | ÆndretSkikkelse
# Grundlovsforslagsforløb(første_folketing_har_vedtaget: Boolsk, regeringen_vil_fremme_sagen: Boolsk, nyvalg_til_folketinget_udskrevet: Boolsk, det_følgende_folketing_har_vedtaget: Boolsk, skikkelse_ved_genvedtagelsen: ForslagsskikkelsePar88) {
| udløser_nyvalg_efter_par88() -> første_folketing_har_vedtaget && regeringen_vil_fremme_sagen
| opfylder_forslagsforløbet_i_par88() -> udløser_nyvalg_efter_par88() && nyvalg_til_folketinget_udskrevet && det_følgende_folketing_har_vedtaget && skikkelse_ved_genvedtagelsen == UændretSkikkelse
}
= grundlovsafstemningens_tilslutningstærskel = Brøk(tæller = 2, nævner = 5)
# Grundlovsafstemningsresultat(for_stemmer: Heltal, deltagende: Heltal, stemmeberettigede: Heltal) {
| stemmetal_er_konsistente() -> for_stemmer >= 0 && deltagende >= 0 && stemmeberettigede > 0 && for_stemmer <= deltagende && deltagende <= stemmeberettigede
| opfylder_godkendelseskravet_i_par88() -> stemmetal_er_konsistente() && for_stemmer * 2 > deltagende && for_stemmer * grundlovsafstemningens_tilslutningstærskel.nævner >= stemmeberettigede * grundlovsafstemningens_tilslutningstærskel.tæller
}
# ForelæggelsestidspunktPar88 = FørEndeligVedtagelse | IndenEtHalvtÅrEfterEndeligVedtagelse | EfterEtHalvtÅrEfterEndeligVedtagelse
# Grundlovsafstemning(forelæggelsestidspunkt: ForelæggelsestidspunktPar88, forelagt_ved_direkte_afstemning: Boolsk, resultat: Grundlovsafstemningsresultat) {
| opfylder_forelæggelsen_i_par88() -> forelæggelsestidspunkt == IndenEtHalvtÅrEfterEndeligVedtagelse && forelagt_ved_direkte_afstemning
| godkender_folketingets_beslutning_efter_par88() -> opfylder_forelæggelsen_i_par88() && resultat.opfylder_godkendelseskravet_i_par88()
}
# Grundlovsændringssag(forslagsforløb: Grundlovsforslagsforløb, afstemning: Grundlovsafstemning, stadfæstet_af_kongen: Boolsk) {
| bliver_grundlov_efter_par88() -> forslagsforløb.opfylder_forslagsforløbet_i_par88() && afstemning.godkender_folketingets_beslutning_efter_par88() && stadfæstet_af_kongen
}
| grundlovsafstemningens_nærmere_regler_fastsættes_ved_lov()
--@end:grundlov_par88--
Kapitel XI — Overgangsbestemmelser (§ 89)
@ sprog da
@ importer ./grundlov - faelles
-- Kapitel XI -- Ikrafttrædelsesbestemmelser
--@label:grundlov_par89::meta:grundlov_kildemetadata--
----
§ 89. Denne grundlov træder i kraft straks. Dog vedbliver den i henhold til
Danmarks Riges Grundlov af 5. juni 1915 med ændringer af 10. september 1920
senest valgte rigsdag at bestå, indtil nyvalg har fundet sted i
overensstemmelse med reglerne i kapitel IV. Indtil nyvalg har fundet sted,
forbliver de i Danmarks Riges Grundlov af 5. juni 1915 med ændringer af
10. september 1920 for rigsdagen fastsatte bestemmelser i kraft.
----
--@begin:grundlov_par89--
# TidligereForfatningsgrundlag(titel: Tekst, grundlovsdato: Dato, ændringsdato: Dato)
# Grundlovsovergangsfase = FørNyvalgEfterKapitelIV | EfterNyvalgEfterKapitelIV
# Grundlovsovergang(fase: Grundlovsovergangsfase) {
| grundloven_er_i_kraft_efter_par89() -> Sandt
| den_senest_valgte_rigsdag_består_efter_par89() -> fase == FørNyvalgEfterKapitelIV
| de_tidligere_rigsdagsbestemmelser_er_i_kraft_efter_par89() -> fase == FørNyvalgEfterKapitelIV
}
= overgangens_tidligere_forfatningsgrundlag = TidligereForfatningsgrundlag(
titel = "Danmarks Riges Grundlov",
grundlovsdato = Dato(år = 1915, måned = 6, dag = 5),
ændringsdato = Dato(år = 1920, måned = 9, dag = 10)
)
--@end:grundlov_par89--
--@label:grundlov_stadfaestelse::meta:grundlov_kildemetadata--
----
Så er da nu gældende ret, alle til ubrødelig efterlevelse,
DANMARKS RIGES GRUNDLOV
Givet på Christiansborg slot, den 5. juni 1953 .
Under Vor Kongelige Hånd og Segl.
Frederik R.
(L.S.)
Erik Eriksen. Ole Bjørn Kraft. Thorkil Kristensen.
Harald Petersen. Carl Hermansen Jens Sønderup.
Aksel Møller. Flemming Hvidbjerg. Poul Sørensen.
Helga Pedersen. Knud Ree. Aage L. Rytter. Jørgen Jørgensen.
----
--@begin:grundlov_stadfaestelse--
# GrundlovensUdstedelsessted = ChristiansborgSlot
# StadfæstendeMonark = FrederikDenNiende
= grundlovens_udstedelsesdato = Dato(år = 1953, måned = 6, dag = 5)
# Grundlovsstadfæstelse(dato: Dato, sted: GrundlovensUdstedelsessted, monark: StadfæstendeMonark, under_kongelig_hånd: Boolsk, under_kongeligt_segl: Boolsk) {
| opfylder_stadfæstelsesteksten() -> dato == grundlovens_udstedelsesdato && sted == ChristiansborgSlot && monark == FrederikDenNiende && under_kongelig_hånd && under_kongeligt_segl
}
= grundlovens_stadfæstelse = Grundlovsstadfæstelse(
dato = grundlovens_udstedelsesdato,
sted = ChristiansborgSlot,
monark = FrederikDenNiende,
under_kongelig_hånd = Sandt,
under_kongeligt_segl = Sandt
)
| grundloven_er_gældende_ret()
--@end:grundlov_stadfaestelse--