{-# OPTIONS --safe --cubical #-}

module OWL2.Corpus where

open import OWL2.Corpus.Accepted public
open import OWL2.Corpus.Rejected public