Before revision: This basis consists of all implications of the form P→P" , where P is a pseudo-intent, i.e., a pseudo-closed set in the closure system of intents.
After revision: \PThis basis consists of all implications of the form P→P" , where P is a pseudo-intent, i.e., a pseudo-closed set in the closure system of intents.