@prefix earl: <http://www.w3.org/ns/earl#> .
@prefix ex: <https://example.com/verification-summary/> .
@prefix om: <https://ontology.inferal.com/modules/ontology-migration/> .

ex:migration a om:OntologyMigrationSet .

ex:NamePreservation
    a om:MigrationVerificationCase ;
    om:verificationOf ex:migration .

ex:StatusRoundTrip
    a om:MigrationVerificationCase ;
    om:verificationOf ex:migration .

ex:LegacyCodePreservation
    a om:MigrationVerificationCase ;
    om:verificationOf ex:migration .

ex:name-assertion
    a earl:Assertion ;
    earl:subject ex:migration ;
    earl:test ex:NamePreservation ;
    earl:result [
        a earl:TestResult ;
        earl:outcome earl:passed ;
    ] .

ex:status-assertion
    a earl:Assertion ;
    earl:subject ex:migration ;
    earl:test ex:StatusRoundTrip ;
    earl:result [
        a earl:TestResult ;
        earl:outcome earl:failed ;
    ] .

ex:legacy-code-assertion
    a earl:Assertion ;
    earl:subject ex:migration ;
    earl:test ex:LegacyCodePreservation ;
    earl:result [
        a earl:TestResult ;
        earl:outcome earl:inapplicable ;
    ] .