Add simple spec of the 'Indicate availability' feature

Supplementing my comment in #2, here's a very simple example of what such specifications could look like for ARNOLD.