Semantic view of theories