module Ampersand.ADL1
   ( module Ampersand.Core.ParseTree
   , module Ampersand.Core.AbstractSyntaxTree
   , module Ampersand.ADL1.Expression
   , module Ampersand.ADL1.Rule
   )
where
import Ampersand.Core.ParseTree (
           PPurpose(..), PRef2Obj(..)
         , mkPair
         , FilePos(..), Origin(..), Traced(..)
         , Prop(..)
         , P_Concept(..)
         , P_Sign(..)
         , P_Context(..), mergeContexts
         , Meta(..)
         , MetaObj(..)
         , P_RoleRelation(..), P_RoleRule(..)
         , P_Pattern(..)
         , PairView(..), PairViewSegment(..)
         , SrcOrTgt(..)
         , P_Rule(..),Role(..)
         , Prop(..),Props
         , P_IdentDef, P_IdentSegment,P_IdentDf(..),P_IdentSegmnt(..)
         , P_ViewDef, P_ViewSegment(..),P_ViewSegmtPayLoad(..),P_ViewD(..),ViewHtmlTemplate(..)
         , P_Population(..),PAtomPair(..)
         , P_BoxItemTermPrim,P_BoxItem(..)
         , P_Interface(..)
         , P_SubInterface,P_SubIfc(..),P_Cruds(..)
         , Term(..)
         , TermPrim(..), P_NamedRel(..)
         , PClassify(..)
         , P_Relation(..)
         , ConceptDef(..)
         , PSingleton
         , PMeaning(..),PMessage(..),P_Markup(..)
         )
import Ampersand.Core.AbstractSyntaxTree (
           Signature(..) ,showSign
         , A_Context(..)
         , HasSignature(..)
         , Expression(..)
         , AClassify(..)
         , RuleOrigin(..)
         , IdentityDef(..)
         , IdentitySegment(..)
         , ViewDef(..)
         , ViewSegment(..)
         , ViewSegmentPayLoad(..)
         , BoxItem(..), ObjectDef(..), BoxTxt(..), isObjExp
         , Object(..)
         , Default(..)
         , SubInterface(..)
         , Relation(..)
         , Interface(..), getInterfaceByName
         , Pattern(..)
         , Relation(..), Relations, getExpressionRelation, showRel
         , Rule(..), Rules, A_RoleRule(..)
         , A_Concept(..), A_Concepts, TType(..), showValADL, showValSQL, makeConcept ,unsafePAtomVal2AtomValue 
         , Conjunct(..)
         , PAtomValue(..)
         , AAtomValues, AAtomPairs, safePSingleton2AAtomVal
         , Cruds(..)
         , Typology(..)
         , DnfClause(..)
         , A_RoleRelation(..)
         , Population(..)
         , Purpose(..), ExplObj(..) ,Meaning(..)
         , AAtomPair(..), AAtomValue(..), aavstr, mkAtomPair, ContextInfo(..)
         , (.==.), (.|-.), (./\.), (.\/.), (.-.), (./.), (.\.), (.<>.), (.:.), (.!.), (.*.)
         )
import Ampersand.ADL1.Expression
         ( primitives,subExpressions,Expressions
         , notCpl, isCpl, isEEps, isMp1, isFlipped
         , isPos, isNeg
         , isFitForCrudC ,isFitForCrudR ,isFitForCrudU ,isFitForCrudD
         , deMorganERad, deMorganECps, deMorganEUni, deMorganEIsc
         , exprIsc2list, exprUni2list, exprCps2list, exprRad2list, exprPrd2list
         , insParentheses)
import Ampersand.ADL1.Rule 
         ( consequent, antecedent, hasantecedent
         , rulefromProp, isPropertyRule, propFullName)

