Add labeling functions
Add functionality to atomic propositions classes