Update notes for submitted changes

* Add vocabulary for property assertions.