[spec] Factorize default facts