Disambiguation problems
Issue #892
new
disambiguating functions goes wrong in vocabulary (works in theory)
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=920fda9ecf0ecf334b44