Atomic representation and algorithms for polytomous knowledge spaces | Synapse