Szia! Ez arrol szol, hogy mi megadunk sok-sok R < S (R resze S) alaku allitast, ahol R es S szerepnekevek. Peldaul megadjuk, hogy jobaratja < baratja, baratja < ismerose, termeszeti kincse < termeszetei eroforrasa, kiskutya < balna stb. Szandekosan irtam hulyesegeket is, hiszen ugyis szimbolikus modon kell ezeket kezelnunk. Amikor DL kovetkeztetot irunk, nekunk nem eleg csak ezekkel a megadott "szerep resze masik szerep" allitasokkal dolgoznunk. Peldaul a fentiekbol azt is tudjuk, hogy jobaratja < ismerose, ezert kell a <*, azaz a tranzitiv lezartja a <-nek. Azt is tudjuk, hogy a baratja inverze resze az ismerose inverzenek stb. Celszeru ezert a szerephierarchiat ugy definialni, hogy az egy par, aminek elso tagja egy halmaz, amely a szerepeket _es inverzeiket_ is tartalmazza, masodik tagja egy relacio, amely egy konkret interpretacioban bizonyos szerepek kozott all fent. A fenti esetben: ([jobaratja, baratja, ismerose, termeszeti kincse, termeszeti eroforrasa, kiskutya, balna, inv jobaratja, inv baratja, inv ismerose, inv termeszeti kincse...], [jobaratja-baratja, jobaratja-ismerose, ...]) Gergo