Sematic definitions