Example: EDT bound to 1NNF