correction

semantic frameworks in def.6 and con.1 modified