Abducktion With Expansion