package semantices