Syntax Question

Folks,

If Qualified Cardinality Constraints were part of OWL, what would they look like in the Abstract Syntax?  Something like this, maybe?

class(Human partial
   restriction(hasParent cardinality(2) Human))

(Don't ask).

--- Stephen