possibly appropriately normalized examples
make compatible with sorites project