Transitivity Analysis Annotation Scheme and Its Application to CQPweb: A Study on Stephen King’s Carrie Download