Prolog: new family KB
Prolog: richer family KB