Vitalsource Technologies, Inc. Logic of Liberal Rights: A Study in the Formal Analysis of Legal Discourse