[
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "This",
                                ),
                            ),
                        ],
                    ),
                },
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Atom(
                                    "That",
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
]