If the formal distinction fails as a coherent ontological category, the asymmetries in predication i...