http://dbpedia.org/resource/File:Laws_of_Form_-_(((A)B)C)=(AC)((B)C).png data from the linked data cloud