User guidance for creating precise and accessible property specifications