Before revision: (2) All situations have a propositional form - that is, all situations have the form of "A is B".
After revision: (2) All situations have a propositional form — that is, all situations have the form of "A is B".