jena2/testing/reasoners/transitive