terms of a particular
            agreement. <a
            href="./agreement-vocab.html#agreementForbids">(#$agreementForbids</a>
            AGREEMENT AGENT ACTTYPE ROLE) means that AGREEMENT forbids
            AGENT to play ROLE in any instance of ACTTYPE. For example,
            if a peace accord ACCORD forbids its signatories to wage war
            against one another, and SIGNER is one such signatory, then
                <a
            href="./agreement-vocab.html#agreementForbids">(#$agreementFor