@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 .