Abstract Characterization of Input Symbol Semigroups of Universal Hypergraphic Automata