import static semantics.Util.head;


public class Subtypes from "wine.rdf" {
  public static void main(String[] args) {
    [⊤]           top   = head(query-for(":Wine"));
    [«:Wine»]     wine  = head(query-for(":Wine" ⊓ ⎨":TaylorPort"⎬));
    [∃▽·⎨«:Red»⎬] exist = head(query-for(∃":hasColor"·⎨":Red"⎬));
    [∀△·⎨«:Red»⎬] all   = head(query-for(∀":hasColor"·⎨":Red"⎬));
  }
}

import static semantics.Util.head;


public class Subtypes from "wine.rdf" {
  public static void main(String[] args) {
    ⊤           top   = head(query-for(":Wine"));
    «:Wine»     wine  = head(query-for(":Wine" ⊓ ⎨":TaylorPort"⎬));
    ∃▽·⎨«:Red»⎬ exist = head(query-for(∃":hasColor"·⎨":Red"⎬));
    ∀△·⎨«:Red»⎬ all   = head(query-for(∀":hasColor"·⎨":Red"⎬));
  }
}

Remove now-unnecessary brackets from subtype test
Remove now-unnecessary brackets from subtype test

They were needed to disambiguate the types from expressions, but that's
fixed now, so they're not needed anymore.
