@prefix ns1: . @prefix rdf: . @prefix rdfs: . @prefix xml: . @prefix xsd: . ns1:subterm , . a ns1:Subterm ; rdfs:label "" ; ns1:expression "..." ; ns1:sub . a ns1:Subterm ; rdfs:label "" ; ns1:expression "chase(t, names=fronts)" ; ns1:sub . a ns1:Subterm ; rdfs:label "" ; ns1:expression "..." . a ns1:Subterm ; rdfs:label "s3" ; ns1:expression "s3(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "cycline" ; ns1:expression "chase(t, names=cycline)" . a ns1:Subterm ; rdfs:label "" ; ns1:expression "..." . a ns1:Subterm ; rdfs:label "colors" ; ns1:expression "colors(t) * chase(t, names=colors, ontime=0.5, offset=0.2)" . a ns1:Subterm ; rdfs:label "colorrb" ; ns1:expression "colorrb(t) * chase(t, names=colorrb, ontime=0.5, offset=colorrb_offset(t))" . a ns1:Subterm ; rdfs:label "cyan" ; ns1:expression "..." ; ns1:sub . a ns1:Subterm ; rdfs:label "cx" ; ns1:expression "..." ; ns1:sub . ns1:expression "None" . ns1:expression "None" . ns1:expression "None" . a ns1:Subterm ; rdfs:label "s5" ; ns1:expression "s5(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "front1" ; ns1:expression "front1(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "s6" ; ns1:expression "s6(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "cyan" ; ns1:expression "cyan(t)" ; ns1:sub . a ns1:Subterm ; rdfs:label "anotherfront" ; ns1:expression "anotherfront(t)" ; ns1:sub .