Add example to URL conventions using $expand=NavProp/$count. Add section/example to JSON Format describing that in this case the navigation property is NOT represented other than via instance annotations, and that NavProp@odata.count annotation is part of the response.