(1) means the definition of antisemitism adopted on May 26, 2016, by the IHRA [International Holocaust Remembrance Alliance], of which the United States is a member, which definition has been adopted ...