Universal > CITIZEN, BORN, NATURALIZE, COUNTRY. CITIZEN > PERSON. PERSON > MAN, GIRL. GIRL = "Dorothy". MAN = "Tinman". COUNTRY = "Oz". papa(hicham, karim). papa(kaak, kooko). papa(ccc, ddd). papa(hhh, jjj). [CITIZEN : x]<-MEMB-[COUNTRY : "Oz"] :- [PERSON: x]<-AGNT-[BORN]-LOC->[COUNTRY : "Oz"]. [CITIZEN : x]<-MEMB-[COUNTRY : "Oz"] :- [PERSON: x]<-CHLD-[PERSON: y], [CITIZEN : y]<-MEMB-[COUNTRY : "Oz"]. [CITIZEN : x]<-MEMB-[COUNTRY : "Oz"] :- [PERSON : x]<-RCPT-[NATURALIZE]-LOC->[COUNTRY : "Oz"]. [PERSON : "Tinman"]- -CHLD->[GIRL : "Dorothy"], <-AGNT-[BORN]-LOC->[COUNTRY : "Oz"].