@prefix macro: . @prefix o-owl-ax: . @prefix ottr: . @prefix owl: . @prefix rdf: . macro:ObjectPartition rdf:type ottr:Template ; ottr:parameters ( [ ottr:type owl:Class ; ottr:variable _:b0 ] [ ottr:type ( ottr:NEList owl:Class ) ; ottr:variable _:b1 ] ) ; ottr:pattern [ ottr:of o-owl-ax:DisjointClasses ; ottr:values ( _:b1 ) ] ; ottr:pattern [ ottr:of o-owl-ax:EquivObjectUnionOf ; ottr:values ( _:b0 _:b1 ) ] .