cz.cvut.kbss.jopa.owl2java.ClassObjectPropertyComputerTest.testSingleMinConstraintWithCardOne (from ClassObjectPropertyComputerTest)