log_exp - IS

In logical expressions with the language element IS, a statement is made on the state of an operand.