Home

Acceptable Forms

Adding new relations:

A relational sample may be added for existing entities.

ADD REL E1(x_1 [, x_2, ..]) E2(y_1 [, y_2, ..])

Getting Relations

GET REL E1[(x_1=v_1, x_2=v_2, ...)] [E2(y_1=u_1, y_2=u_2, ...)]

Generating entity samples given another

GEN REL E1[(x_1=v_1, x_2=v_2, ...)] CONSTRAIN E2[, E3, ...]

Defining new entities

DEF E1(x_1[, x_2, ...])

Parser states