Domain, Range


:father s:domain :Human; s:range :Man.
:Sara :father :Alan.
______________________________________
:Sara a :Human.  :Alan a :Man.