imported manually asserted information used in automatic assertion