Coreferences in conditions are also resolved.