atomic_propositions_base.py 1.57 KB