Json files for atomic proposition