SYNOPSIS
DESCRIPTION
for cross products - an intersection between another class/term and a list of anonymous subclass over some restrictions
GO::Model::CrossProduct(3)
intersection between class/term and list of anonymous subclass