@prefix : . @prefix sub: . @prefix t: . :subterm t:blacklight, t:song10, t:song3black . t:song10 a :Subterm; :expression "song10(t)"; :sub sub:song10 . t:blacklight a :Subterm; :expression "blacklight(t)>0"; :sub sub:blacklight .