Semantic Inconsistency And Computational Intractability In Transitive Abstraction Rules