@prefix n3: <https://www.w3.org/ns/n3#>.
@prefix : <http://example.org/test#>.

{
    ?T a :CompositeTask.
    {?T a :DiscardedTask} n3:notIn <https://eyereasoner.github.io/eye/reasoning/n3c/tasks.n3>.
}
    =>
{
    ?T a :NotDiscardedTask.
}.
