groundTypesOf

FiniteCombinatoryLogic

groupedRules

InhabitationResult