Add support for someonly (copied from sf.net)

[JensLehmann]

The learning algorithms should have the option that universal quantifiers for a role r are only used in learned expressions when there is a role filler for r - essentially using "someOnly" i.e. a combination of universal and existential quantifiers.