http://semantic.cs.put.poznan.pl/leolod/treeminer/dc3531d1-f144-4429-adf6-df34eb1b3748/pattern000001
SubClassOf: 'mathematical function specification'