more semantic implicature rules
diagnostics