APPROVED Sean Bechhofer DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model