some simplification of semantic API