Inconsistent Study for Four-Way Abstraction