Hierarchy of Knowledge Base Rules

These are the knowledge base rules we use:

• Rule:
  • SquareDanceRule:
    • OriginalPartnerRule: OriginalPartners
    • SquareDanceFormationRule:
      • AttendanceRule: AllPresent
      • BeforeEightChainRule: BeforeEightChain, FormationContainedIn
      • BeforeTradeByRule: BeforeTradeBy, FormationContainedIn
      • BoxOfFourRule: FormationContainedIn, LHBoxOfFour, RHBoxOfFour
      • CircleOfEightFormationRule: CircleOfEight, FormationContainedIn
      • ColumnOfFourRule: ColumnOfFour, FormationContainedIn
      • CompletedDoublePassThruRule: CompletedDoublePassThru, FormationContainedIn
      • FacingTandemCouplesRule: FacingTandemCouples, FormationContainedIn
      • InvertedLineOfFourRule: FormationContainedIn, InvertedLineOfFour
      • LineOfFourRule: FormationContainedIn, LineOfFour
      • QuarterTagRule: FormationContainedIn, QuarterTag
      • SDSquareHasAttendanceRule: Attendance
      • SquareDanceReasoning.BackToBackCouplesRule: BackToBackCouples, FormationContainedIn
      • SquareDanceReasoning.CatchConflictingDancerStates:
      • SquareDanceReasoning.FacingCouplesRule: FacingCouples, FormationContainedIn
      • SquareDanceReasoning.QTWCTRule: SquareDanceReasoning.QTWCT
      • SquareDanceReasoning.TandemCouplesRule: FormationContainedIn, TandemCouples
      • SquareDanceReasoning.TwoDifferentCouplesRule: SquareDanceReasoning.TwoDifferentCouples
      • SquaredSetFormationRule: FormationContainedIn, SquaredSet
      • StarRule: FormationContainedIn, Star
      • ThreeQuarterTagRule: FormationContainedIn, ThreeQuarterTag
      • TwoDancerFormationsRule: BackToBack, Couple, FaceToFace, FormationContainedIn, LHMiniWave, RHMiniWave, Tandem
      • TwoFacedLineRule: FormationContainedIn, TwoFacedLine
      • WaveOfEightRule: FormationContainedIn, LHWaveOfEight, RHWaveOfEight
      • WaveOfFourRule: FormationContainedIn, LHWaveOfFour, RHWaveOfFour
    • SquareHasDancers: Dancer