It

It Is a variable for something in semantic rules.

Examples

The example shows how to use the keyword.

Example: Two sentences below are equivalent.
Every cat is an animal.
If something is a cat then it is an animal.