Part II: On Propositions

GPTKB entity