OP) means that the <a
            href="./agreement-vocab.html#Agreement">#$Agreement</a> AGR
            pertains to (commits its agreeing parties to) making the
            proposition <a
            href="./fundamental-vocab.html#ELSentence-Assertible">(#$ELSentence-Assertible)</a>
            PROP true. Since each <a
            href="./agreement-vocab.html#Agreement">#$Agreement</a> is
            represented in Cyc as a <a
            href="./context-vocab.html#Microtheory">#$Microtheory,</a>
        