Man is [+HUMAN], [+MALE], [+ADULT]
Woman is [+HUMAN], [-MALE], [+ADULT]
Boy is [+HUMAN], [+MALE], [-ADULT]
Girl is [+HUMAN], [-MALE], [-ADULT]
Intersecting semantic classes share the same features.
Some features need not be specifically mentioned as their presence or absence is obvious from another feature. This is a redundancy rule.