semantic inconsistency