temp
Merge branch '446_generalize_ontohub' of github.com:ontohub/ontohub into 446_generalize_ontohub
Merged from remote to local
generalization via var passing