added definite check for definite-rule result
added special case for definite words
create both partial and fully abstracted version