Implemented_SetK
Classes
AllenFact
Binary
Boolean
IntegerFromXToY