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"⎬));
  }
}

@@ -121,11 +121,9 @@
     
-%5B%E2%8A%A4%5D
+%E2%8A%A4
     
@@ -171,17 +171,15 @@
     
-%5B
 %C2%AB:Wine%C2%BB
-%5D
     
@@ -235,17 +235,16 @@
 ));%0A    
-%5B
 %E2%88%83%E2%96%BD%C2%B7%E2%8E%A8%C2%AB:Re
@@ -246,17 +246,16 @@
 %E2%8E%A8%C2%AB:Red%C2%BB%E2%8E%AC
-%5D
  exist =
@@ -299,17 +299,16 @@
 ));%0A    
-%5B
 %E2%88%80%E2%96%B3%C2%B7%E2%8E%A8%C2%AB:Re
@@ -310,17 +310,16 @@
 %E2%8E%A8%C2%AB:Red%C2%BB%E2%8E%AC
-%5D
  all   =

Remove now-unnecessary brackets from subtype test