{
    "version": 12,
    "inputContract": {
        "properties": [
            {
                "uid": "6bcdt8081ff",
                "value": "the basic insurance product",
                "name": "the basic insurance product",
                "type": "string"
            },
            {
                "uid": "w554gidk3pa",
                "value": "the calculation date",
                "name": "the calculation date",
                "type": "date"
            },
            {
                "uid": "zgr365za5vm",
                "value": "the level of extras cover",
                "name": "the level of extras cover",
                "type": "string"
            }
        ]
    },
    "outputContract": {
        "properties": [
            {
                "uid": "xslpzdoc2ee",
                "value": "the total annual premium",
                "name": "the total annual premium",
                "type": "number"
            }
        ]
    },
    "rules": {
        "Rules": [
            {
                "text": "Rules",
                "style": "heading1"
            },
            {
                "type": "rule-block",
                "lines": [
                    {
                        "text": "the total annual premium = the basic premium amount + the amount for extras cover",
                        "level": 0
                    },
                    {
                        "type": "table",
                        "columns": [
                            {
                                "type": "condition",
                                "text": "the calculation date"
                            },
                            {
                                "type": "condition",
                                "text": "the basic insurance product"
                            },
                            {
                                "type": "conclusion",
                                "text": "the basic premium amount"
                            }
                        ],
                        "rows": [
                            [
                                "< 2024-01-01",
                                "\"Singles\"",
                                "600"
                            ],
                            [
                                null,
                                "\"Couples\"",
                                "900"
                            ],
                            [
                                null,
                                "\"Singles with kids\"",
                                "700"
                            ],
                            [
                                null,
                                "\"Couples with kids\"",
                                "1000"
                            ],
                            [
                                null,
                                "",
                                "600"
                            ],
                            [
                                "<2025-01-01",
                                "\"Singles\"",
                                "660"
                            ],
                            [
                                null,
                                "\"Couples\"",
                                "990"
                            ],
                            [
                                null,
                                "\"Singles with kids\"",
                                "770"
                            ],
                            [
                                null,
                                "\"Couples with kids\"",
                                "1100"
                            ],
                            [
                                null,
                                "",
                                "660"
                            ],
                            [
                                "",
                                "\"Singles\"",
                                "685"
                            ],
                            [
                                null,
                                "\"Couples\"",
                                "1015"
                            ],
                            [
                                null,
                                "\"Singles with kids\"",
                                "785"
                            ],
                            [
                                null,
                                "\"Couples with kids\"",
                                "1200"
                            ],
                            [
                                null,
                                "",
                                "685"
                            ]
                        ]
                    },
                    {
                        "type": "table",
                        "columns": [
                            {
                                "type": "condition",
                                "text": "the level of extras cover"
                            },
                            {
                                "type": "conclusion",
                                "text": "the amount for extras cover"
                            }
                        ],
                        "rows": [
                            [
                                "\"Premium\"",
                                "150"
                            ],
                            [
                                "\"Special\"",
                                "100"
                            ],
                            [
                                "\"Basic\"",
                                "50"
                            ],
                            [
                                "\"No\"",
                                "0"
                            ]
                        ]
                    }
                ]
            },
            {
                "text": "",
                "style": "normal"
            }
        ]
    },
    "ruleLanguage": {
        "language": "en",
        "formats": {
            "decimalSeparator": ".",
            "thousandsSeparator": ",",
            "argumentSeparator": ",",
            "dateFormat": "yyyy-mm-dd"
        }
    },
    "documents": [],
    "references": {
        "uid": "yjyun30bxdo",
        "items": []
    },
    "upgradeFlags": {}
}