The document describes a method for analyzing online social networks using actor-based network analysis and tenses predicate logic. It discusses classifying users into different actor types like connectors, mavens, and salesmen based on their behaviors and roles in spreading information. The method is demonstrated on a large Twitter dataset to analyze how the #KONY2012 topic spread. Future work is discussed to expand the approach with semantic analysis and develop an ontology to integrate actor and event analysis.