Key identification VO

Verify object for a formula (Verify Object)

If the test result is negative, the formula is terminated.

Syntax:

VO   s | S | d | D | a | A | <cid>;

s

Check whether the current object of the formula attribute represents a symbol.

S

Check whether the current object of the formula attribute does not represent a symbol.

d

Check whether the current object of the formula attribute represents a device.

D

Check whether the current object of the formula attribute does not represent a device.

a

Check whether the current object of the formula attribute represents an SAO (symbol without AO).

A

Check whether the current object of the formula attribute does not represent an SAO (symbol without AO).

cid

Check whether the current object of the formula attribute corresponds to the specified cover ID.