moise.test
Classes
CardinalitySetTest
OETest
ToPrologTest