Oxford, May 2019 Dominik Lindner, Petr Walczysko
Francis-data ≠ Ada-data Francis-data similar to Ada-data