This image displays a slide titled ‘From Syntax to Semantics’ with a bulleted list underneath. 
The first bullet point reads: ‘Encode Kp, such that paths in IPG are enabled transitions, and no additional transitions are enabled.’
The second bullet point reads: ‘Let p be a conditional preference statement in P’
The third bullet point reads: ‘p induces a flip between two nodes in the IPG iff’
Below this third bullet point, there is a list numbered 1 through 3. The first item in the list reads: ‘Condition part in the preference statement is satisfied by both nodes’
The second item in the list reads: ‘Preference part (less & more preferred valuations) in satisfied by both’
The third item in the list reads: ‘Ceteris Paribus’ part that ensures apart from (1 & 2) that all variables other than those specified to change as per (2) are equal in both nodes. The fourth bullet point reads: ‘Create transitions in Kp with guard conditions’
Below this fourth bullet point, there are two lines of text. The first line reads: ‘- “Condition” part of statement is translated to the guard condition’
The second line reads: ‘- “Preference” part of statement is translated to assignments of variables in the target state’
In the bottom right corner of the slide, there is a text box that reads: ‘How to encode ceteris paribus condition in the guards?’
The slide is in a presentation style, with a white background and black text.
Ezen a képen egy „A szintaxistól a szemantikáig” című dia látható, alatta felsorolásjelekkel. 
Az első felsorolás a következőképpen hangzik: „Kp kódolása úgy, hogy az IPG útvonalai engedélyezett átmenetek legyenek, és további átmenetek ne legyenek engedélyezve.”
A második felsorolás így hangzik: „Legyen p egy feltételes preferencia utasítás P-ben”
A harmadik felsorolás a következőképpen hangzik: „p átfordulást indukál az IPG IFF két csomópontja között”
A harmadik felsoroláspont alatt egy 1-től 3-ig számozott lista található. A lista első eleme a következő: „A preferencia utasításban szereplő feltételt mindkét csomópont teljesíti”
A lista második eleme a következő: „Preferencia rész (kevesebb és preferáltabb értékelés) mindkettővel elégedett”
A lista harmadik eleme a következő: „Ceteris Paribus” rész, amely (1 és 2) kivételével biztosítja, hogy a (2) szerint módosítandó változókon kívül minden változó egyenlő legyen mindkét csomópontban. A negyedik pont így szól: „Átmenetek létrehozása Kp-ben őrzési feltételekkel”
A negyedik felsoroláspont alatt két sornyi szöveg található. Az első sor a következő: „- Az utasítás „Feltétel” része az őrzési feltételre van fordítva.
A második sor a következő: „- Az utasítás „Preferencia” része változók hozzárendelésére fordítva a célállapotban.
A dia jobb alsó sarkában van egy szövegdoboz, amely így szól: „Hogyan lehet kódolni a ceteris paribus állapotot az őrökben?”
A dia prezentációs stílusú, fehér háttérrel és fekete szöveggel.