You're right; I should have explained my problem a little more. Let's say I have three fact types:
Fact Type 1. [A, B]
Fact Type 2. [A, B]
Fact Type 3. [A, A, B]
I want to express that the couple in bold, [A, B], present in Fact Type 1, ...