logic CommonLogic
spec FamilyExt =
. (forall (x) (if (Man x) (not (Woman x))))