{ :C1 a dpo:Class.
  :C1 u:subClassOf :C2. }
   l:implies { :C1 :plainSub :C2 }.
:plainSub a g:EdgeProperty; g:color "orange".