New applying semantic-iffs