New tests for testing capabilities of nene reasoners with subPropertyOf