Automatic Abstraction by Noan