Add vocabulary for property assertions.

Change-Id: Ia139f8e89a8a042039ec88206e56c9d826efa47f