Implemented_SetK

Class AllenFact