atomic_propositions_base.py 1.58 KB