Module {
    source_file: Some(
        "MANIFEST_PATH/tests/examples/rdf_definitions.sdm",
    ),
    file_id: Some(
        0,
    ),
    span: Some(
        Span {
            start: 0,
            end: 612,
        },
    ),
    name: Identifier {
        span: Some(
            Span {
                start: 7,
                end: 11,
            },
        ),
        value: "rdfs",
    },
    base_uri: Some(
        HeaderValue {
            span: Some(
                Span {
                    start: 12,
                    end: 51,
                },
            ),
            value: Url {
                scheme: "http",
                cannot_be_a_base: false,
                username: "",
                password: None,
                host: Some(
                    Domain(
                        "www.w3.org",
                    ),
                ),
                port: None,
                path: "/2000/01/rdf-schema",
                query: None,
                fragment: Some(
                    "",
                ),
            },
        },
    ),
    version_info: None,
    version_uri: None,
    body: ModuleBody {
        span: Some(
            Span {
                start: 52,
                end: 611,
            },
        ),
        file_id: None,
        is_library: true,
        imports: [
            ImportStatement {
                span: Some(
                    Span {
                        start: 58,
                        end: 76,
                    },
                ),
                imports: [
                    Module(
                        ModuleImport {
                            span: Some(
                                Span {
                                    start: 67,
                                    end: 70,
                                },
                            ),
                            name: Identifier {
                                span: Some(
                                    Span {
                                        start: 67,
                                        end: 70,
                                    },
                                ),
                                value: "owl",
                            },
                            version_uri: None,
                        },
                    ),
                    Module(
                        ModuleImport {
                            span: Some(
                                Span {
                                    start: 71,
                                    end: 74,
                                },
                            ),
                            name: Identifier {
                                span: Some(
                                    Span {
                                        start: 71,
                                        end: 74,
                                    },
                                ),
                                value: "rdf",
                            },
                            version_uri: None,
                        },
                    ),
                ],
            },
        ],
        annotations: [],
        definitions: [
            Rdf(
                RdfDef {
                    span: Some(
                        Span {
                            start: 80,
                            end: 201,
                        },
                    ),
                    name: Identifier {
                        span: Some(
                            Span {
                                start: 84,
                                end: 92,
                            },
                        ),
                        value: "Resource",
                    },
                    body: AnnotationOnlyBody {
                        span: Some(
                            Span {
                                start: 93,
                                end: 201,
                            },
                        ),
                        annotations: [
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 100,
                                            end: 119,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 101,
                                                    end: 112,
                                                },
                                            ),
                                            value: "isDefinedBy",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 115,
                                                        end: 119,
                                                    },
                                                ),
                                                value: "rdfs",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 124,
                                            end: 146,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 125,
                                                    end: 130,
                                                },
                                            ),
                                            value: "label",
                                        },
                                    ),
                                    value: Simple(
                                        String(
                                            LanguageString {
                                                span: Some(
                                                    Span {
                                                        start: 133,
                                                        end: 146,
                                                    },
                                                ),
                                                value: "Resource",
                                                language: Some(
                                                    LanguageTag {
                                                        span: Some(
                                                            Span {
                                                                start: 143,
                                                                end: 146,
                                                            },
                                                        ),
                                                        value: "en",
                                                    },
                                                ),
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 151,
                                            end: 195,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 152,
                                                    end: 159,
                                                },
                                            ),
                                            value: "comment",
                                        },
                                    ),
                                    value: Simple(
                                        String(
                                            LanguageString {
                                                span: Some(
                                                    Span {
                                                        start: 162,
                                                        end: 195,
                                                    },
                                                ),
                                                value: "The class resource, everything.",
                                                language: None,
                                            },
                                        ),
                                    ),
                                },
                            ),
                        ],
                    },
                },
            ),
            Rdf(
                RdfDef {
                    span: Some(
                        Span {
                            start: 205,
                            end: 390,
                        },
                    ),
                    name: Identifier {
                        span: Some(
                            Span {
                                start: 209,
                                end: 219,
                            },
                        ),
                        value: "subClassOf",
                    },
                    body: AnnotationOnlyBody {
                        span: Some(
                            Span {
                                start: 238,
                                end: 390,
                            },
                        ),
                        annotations: [
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 245,
                                            end: 260,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 246,
                                                    end: 252,
                                                },
                                            ),
                                            value: "domain",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 255,
                                                        end: 260,
                                                    },
                                                ),
                                                value: "Class",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 265,
                                            end: 279,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 266,
                                                    end: 271,
                                                },
                                            ),
                                            value: "range",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 274,
                                                        end: 279,
                                                    },
                                                ),
                                                value: "Class",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 284,
                                            end: 303,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 285,
                                                    end: 296,
                                                },
                                            ),
                                            value: "isDefinedBy",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 299,
                                                        end: 303,
                                                    },
                                                ),
                                                value: "rdfs",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 308,
                                            end: 329,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 309,
                                                    end: 314,
                                                },
                                            ),
                                            value: "label",
                                        },
                                    ),
                                    value: Simple(
                                        String(
                                            LanguageString {
                                                span: Some(
                                                    Span {
                                                        start: 317,
                                                        end: 329,
                                                    },
                                                ),
                                                value: "subClassOf",
                                                language: None,
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 334,
                                            end: 384,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 335,
                                                    end: 342,
                                                },
                                            ),
                                            value: "comment",
                                        },
                                    ),
                                    value: Simple(
                                        String(
                                            LanguageString {
                                                span: Some(
                                                    Span {
                                                        start: 345,
                                                        end: 384,
                                                    },
                                                ),
                                                value: "The subject is a subclass of a class.",
                                                language: None,
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: None,
                                    name_reference: QualifiedIdentifier(
                                        QualifiedIdentifier {
                                            span: None,
                                            module: Identifier {
                                                span: None,
                                                value: "rdf",
                                            },
                                            member: Identifier {
                                                span: None,
                                                value: "type",
                                            },
                                        },
                                    ),
                                    value: Reference(
                                        QualifiedIdentifier(
                                            QualifiedIdentifier {
                                                span: Some(
                                                    Span {
                                                        start: 225,
                                                        end: 237,
                                                    },
                                                ),
                                                module: Identifier {
                                                    span: Some(
                                                        Span {
                                                            start: 225,
                                                            end: 228,
                                                        },
                                                    ),
                                                    value: "rdf",
                                                },
                                                member: Identifier {
                                                    span: Some(
                                                        Span {
                                                            start: 229,
                                                            end: 237,
                                                        },
                                                    ),
                                                    value: "Property",
                                                },
                                            },
                                        ),
                                    ),
                                },
                            ),
                        ],
                    },
                },
            ),
            Rdf(
                RdfDef {
                    span: Some(
                        Span {
                            start: 394,
                            end: 606,
                        },
                    ),
                    name: Identifier {
                        span: Some(
                            Span {
                                start: 398,
                                end: 405,
                            },
                        ),
                        value: "comment",
                    },
                    body: AnnotationOnlyBody {
                        span: Some(
                            Span {
                                start: 451,
                                end: 606,
                            },
                        ),
                        annotations: [
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 458,
                                            end: 476,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 459,
                                                    end: 465,
                                                },
                                            ),
                                            value: "domain",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 468,
                                                        end: 476,
                                                    },
                                                ),
                                                value: "Resource",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 481,
                                            end: 497,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 482,
                                                    end: 487,
                                                },
                                            ),
                                            value: "range",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 490,
                                                        end: 497,
                                                    },
                                                ),
                                                value: "Literal",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 502,
                                            end: 521,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 503,
                                                    end: 514,
                                                },
                                            ),
                                            value: "isDefinedBy",
                                        },
                                    ),
                                    value: Reference(
                                        Identifier(
                                            Identifier {
                                                span: Some(
                                                    Span {
                                                        start: 517,
                                                        end: 521,
                                                    },
                                                ),
                                                value: "rdfs",
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 526,
                                            end: 544,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 527,
                                                    end: 532,
                                                },
                                            ),
                                            value: "label",
                                        },
                                    ),
                                    value: Simple(
                                        String(
                                            LanguageString {
                                                span: Some(
                                                    Span {
                                                        start: 535,
                                                        end: 544,
                                                    },
                                                ),
                                                value: "comment",
                                                language: None,
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: Some(
                                        Span {
                                            start: 549,
                                            end: 600,
                                        },
                                    ),
                                    name_reference: Identifier(
                                        Identifier {
                                            span: Some(
                                                Span {
                                                    start: 550,
                                                    end: 557,
                                                },
                                            ),
                                            value: "comment",
                                        },
                                    ),
                                    value: Simple(
                                        String(
                                            LanguageString {
                                                span: Some(
                                                    Span {
                                                        start: 560,
                                                        end: 600,
                                                    },
                                                ),
                                                value: "A description of the subject resource.",
                                                language: None,
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: None,
                                    name_reference: QualifiedIdentifier(
                                        QualifiedIdentifier {
                                            span: None,
                                            module: Identifier {
                                                span: None,
                                                value: "rdf",
                                            },
                                            member: Identifier {
                                                span: None,
                                                value: "type",
                                            },
                                        },
                                    ),
                                    value: Reference(
                                        QualifiedIdentifier(
                                            QualifiedIdentifier {
                                                span: Some(
                                                    Span {
                                                        start: 413,
                                                        end: 425,
                                                    },
                                                ),
                                                module: Identifier {
                                                    span: Some(
                                                        Span {
                                                            start: 413,
                                                            end: 416,
                                                        },
                                                    ),
                                                    value: "rdf",
                                                },
                                                member: Identifier {
                                                    span: Some(
                                                        Span {
                                                            start: 417,
                                                            end: 425,
                                                        },
                                                    ),
                                                    value: "Property",
                                                },
                                            },
                                        ),
                                    ),
                                },
                            ),
                            Property(
                                AnnotationProperty {
                                    span: None,
                                    name_reference: QualifiedIdentifier(
                                        QualifiedIdentifier {
                                            span: None,
                                            module: Identifier {
                                                span: None,
                                                value: "rdf",
                                            },
                                            member: Identifier {
                                                span: None,
                                                value: "type",
                                            },
                                        },
                                    ),
                                    value: Reference(
                                        QualifiedIdentifier(
                                            QualifiedIdentifier {
                                                span: Some(
                                                    Span {
                                                        start: 426,
                                                        end: 448,
                                                    },
                                                ),
                                                module: Identifier {
                                                    span: Some(
                                                        Span {
                                                            start: 426,
                                                            end: 429,
                                                        },
                                                    ),
                                                    value: "owl",
                                                },
                                                member: Identifier {
                                                    span: Some(
                                                        Span {
                                                            start: 430,
                                                            end: 448,
                                                        },
                                                    ),
                                                    value: "AnnotationProperty",
                                                },
                                            },
                                        ),
                                    ),
                                },
                            ),
                        ],
                    },
                },
            ),
        ],
    },
}
