imported automatically asserted information used in automatic assertion