pseudosemantic

not defined yet