Philosophy and Practices for Measuring the Logical Soundness of Digital Content from the Annotations of Multiple Users