semantic notation