Generating Domain Rules

Given:

Source1($A, $B, $C, X, Y, Z) => ….

Where

A has is of TypeA, B is of TypeB …

Generate the following rules

TypeX(X) <= TypeA(A) & TypeB(B) & TypeC(C) &

Source1(A, B, C, X, Y, Z)

TypeY(Y) <= …

...