Corrected content model of negation for extended logic programming

Signed-off-by: greenTara <taraathan@gmail.com>
updated generated instances

Signed-off-by: greenTara <taraathan@gmail.com>
Merge pull request #47 from greenTara/master

negation update