Abducktion: Base + Expansion