Object Properties / Quantifier Restrictions and some fixed inconcistences
Second comit