module SemanticExplanation.Integration.Everything where

-- Typechecking this module typechecks every semantic-explanation-targets module.
import SemanticExplanation.Industry.DiscourseProfiles
import SemanticExplanation.Industry.Logic
import SemanticExplanation.Industry.LogicMore
import SemanticExplanation.Industry.OWL
import SemanticExplanation.Industry.OWLMore
import SemanticExplanation.Industry.Spartan
import SemanticExplanation.Industry.SpartanMore
import SemanticExplanation.IndustryCandidateRuns
import SemanticExplanation.IndustryShowcase
import SemanticExplanation.OWLDirect
import SemanticExplanation.SpartanDirect
import SemanticExplanation.TargetShowcase