No idea how to implement the negation, no explicit semantic reference