Semantic-Deductive Characterization Of The Original Gamma Existential Graphs