ࡱ; R  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Root Entry  !r\V)䰱 PresentationStarImpress 5.0AgHSfxDocumentInfo Marcello Balduccini 01Marcello Balduccini X11<Marcello Balduccini 01\Scientific Presentation {Presentation of a scientific topic. The pages of this sample document can be printed and copied to overhead transparencies. Info 0 Info 1 Info 2 Info 3 A0qf<@<SiTASK,0,1 1,0,100,1,Oh+'0 h t `lx18@M$@e-:@SL@Qj8Marcello BalducciniMarcello Balduccini|Presentation of a scientific topic. The page+XOutdevItemPool 1   )     &'()*+,-./06789:;UVWXYZ[\]c !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstt      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefd(0o *'@q-XX',@X'.@2XXX'=@,SchwarzXX '@Pfeil PfeilddXXXS'c@EPfeilddXX':@,XXXX&'.@,XXX'@XX'@X@0X@NX@lX@X@X@X@X'(@ XXX' @̙ Wei Fels Blau33ccWhiteXX X2XDXVXhX~X'7@ 22dd22 dd Gradient 1 dd ddZ dd dd dd  dd  dd  dd  dd  dd Farbverlauf 8 ddFarbverlauf 1433 ddFarbverlauf 4233cc ddFarbverlauf 4333cc ddXX6X^XXXXX0XXXXXXX XUXX's@ Black 0 DegreesfXX(XB'F@ BMvv(@@SD@x^SI 0 s\ z 46ZBn8x)1̔.<觔B+̄ ޢ40:prf |q]~+H~|WFMbP@aoCē[ȡz6~U{߃XFXNXVX^XfXnXvX~XXXXXXKK@XX(L@ XMM@ XNN@ XOO@ XPP@6 XQQ@VXRR@x XSS@XTT @UU@XVV@XXWW@ XXX@9 XYY@X XZZ@w X[[@ X\\@ X]]@ X^^@ X__@X``@2Xaa@PXbb@nXcc@Xdd@Xee@X@''''' ''''  ''''''' ''''''' '' ''''''''''  ''XXX X,X2X8XDXVXXXXX(X4XFXXXdXXXXXXX,t@*'''''''''''''' '' '' ''  '' ''''''''''''''''' '' '' '' '' '' ''' '''''          ''''' '''  '''  '''  ''!''"''#'''''    $%&'( '* 'XXX&XDXPX\XnXXXXXXX@XRXdXXXXXXXXX$X6XTXXX>XbXXXX"X4XXXXXX**Z@!#(((((((( (!("(#($$%%&&''(())  (((((((( (!("(#($$      XXXX X&X,X2XXXXX XXX77"@"+;(--.. +;(,,--..//00112233445566+;(,,--..//       XXX,X2X8X>XDXJXXXXXXXXHH@8%+''' '@' 6' <( (@'A'1'+''!''' ?(''''''%'S'"'' ' ' 6' <( (@'A'1'+''!'''?(''''''%'S'"''  +'  '''' '' '''XXX X2X8X>XDXJXVXbXX XXXXXXXXXXXXXff)x@')QQVV JJKKRRJJ KKRRJJKKRR JJ KKJJKKRRJJKKRRJJKK JJ IIL(MMNNOOPPQQVVWWXXYYZZ[[\\]]^^__``aabbccddee JJKKRR JJ KK JJKKJJKKUUVVJJIIL(MMNNOOPPQQVVWWXXYYZZ[[\\]]^^JJ KKJJJJKKRRJJ KKJJKKUUVVJJJJKKUUVVJJKKRRJJKKSSUUVVJJKKQQVVJJKKJJKK JJKK!JJKK"JJKKRR$JJKK%JJ&JJKKRR'JJKKSSUUVVXXX&X>XVXnXXXXXX^XvXXXXX*X<XHX`XrXXXXXXXX X&X8XJX\XnXXXX8p R/Mku  0 Z ) I i  < \ |  4 V x $Ff;c#A_})Qq;]s:Zz1Om1[" P+LEditEngineItemPool ,6fF0rg* (@ hU "XX,StarBatsN-Pd",StarBatsN-"` ` ,StarBatsN-" ,StarBatsN-",StarBatsN-"hh,StarBatsN-",StarBatsN-",StarBatsN-"pp,StarBatsN- ",StarBatsN-",StarBatsN-",StarBatsN-"` ` ,StarBatsN-" ,StarBatsN-",StarBatsN-"hh,StarBatsN-",StarBatsN-",StarBatsN-"pp,StarBatsN- "X,StarBatsN-",StarBatsN-",StarBatsN-"` ` ,StarBatsN-" ,StarBatsN-",StarBatsN-"hh,StarBatsN-",StarBatsN-",StarBatsN-"pp,StarBatsN-  "XX,StarBatsN-APxx,StarBats((KAP,StarBats((KAP ,StarBats((KAP,StarBats((KAP,StarBats((KAP,StarBats((KAP88,StarBats((KAPXX,StarBats((KAPxx,StarBats((K rXX,StarBats-r,StarBats-r,StarBats-r` ` ,StarBats-r ,StarBats-r,StarBats-rhh,StarBats-r,StarBats-r,StarBats-rpp,StarBats-  "XX,StarBatsi-",StarBatsi-",StarBatsi-"` ` ,StarBatsi-" ,StarBatsi-",StarBatsi-"hh,StarBatsi-",StarBatsi-",StarBatsi-  "XX,StarBatsN-"Pxx,StarBatsK"P,StarBatsK"P ,StarBatsK"P,StarBatsK"P,StarBatsK"P,StarBatsK"P88,StarBatsK"PXX,StarBatsK"Pxx,StarBatsK ,starbats K,starbats K,starbats K` ` ,starbats K ,starbats K,starbats Khh,starbats K,starbats K,starbats Kpp,starbats K  ",StarBatsN-",StarBatsN-",StarBatsN-"` ` ,StarBatsN-" ,StarBatsN-",StarBatsN-"hh,StarBatsN-",StarBatsN-",StarBatsN-"pp,StarBatsN-  ,starbats K,starbats K,starbats K` ` ,starbats K ,starbats K,starbats Khh,starbats K,starbats K,starbats Kpp,starbats KXXXX6 XTXrX*XHXf X$6'@UlX@UXX@@@ZxdddxdddC ddd ddddddddd8ddd8XdddXxdddx !ddd! ddd 7dddx )ddPdx dddxFdddddDd  ddDd<ddDd\ddDd|ddDd8ddPd ddPddddxddDdXddDdxddDd!FdddddDd  ddDd<ddDd\ddDd|ddDd8 Fddd!ddDd " ddDd#<ddDd$\ddDd%|ddDd8&ddDdX'ddDdx(ddDd!)ddDdX*ddDdx+ddDd!,dddx-Fddd.ddDd / ddDd0<ddDd1\ddDd2|ddDd83ddDdX4ddDdx5ddDd!6xdddxY7dddY8 ddd YD9dddYD:dddYD;dddYD<8ddd8YD=XdddXYD>xdddxYD?!ddd!YDXX!X4XGXZXmXXXXXXXXXX+X>XQXdXwXXXXXXXXX"X5XHX[XnXXXXXXXXXX,X?XRXeXxXXXXXXXXX)XBX[XtXXXXX<( n@ =\s<       XXXX X&X,X2X8X>XD (%e@#JdkStarBats!"KStarBats!"KStarBats!"K1StarBats!r7Starbats$rKStarbatsR$=KStarbats$;KpStarbats$AKATimes New Roman! K StarBats! K .StarBats!"K %StarBatsX!"- StarBats!"- StarBats!r-Times!dStarBats!r->((StarBats!AKStarBatsX!"-StarBats!"-StarBats!"-StarBats!r-3 starbatsX!K starbats!KQStarBats!"- StarBatsX!"-( starbatsX!K starbats!K StarBats!r-StarBats!"- StarBatsX!"-  starbatsX!K StarBats!r- RStarBats!"-! StarBatsX!"-" starbatsX!KXXGXXXX+XdXXXXOXXXX3XiXXXXMXXXX1XjXXXXNXXXX2XkX@'NH@Njddd ddXd dddxdddxddd ddd ddddddddd 8ddd8 XdddX xdddx ddd ddd d dd  d dd ?dddXddPddddddPdxdddXddPdddPd ( ddPdH ddPdhddPdddPd8ddPdXwXddddddddd` ` ddd  ddd!dddh"hddd#ddd$dddp%ddPdx&ddPd'ddPd (( ddPd)H ddPd*hddPd+ddPd8,ddPdX-ddPdx.'ddd/ddPdx0ddPdx1ddPd2ddd3ddPd 4( ddPd5H ddPd6hddPd7ddPd88ddPdX9ddPdx:ddd;ddPdx<ddPd=ddPd >( ddPd?H ddPd@hddPdAddPd8BddPdXCddPdxDdddYExdddxYPFdddYPG ddd YPHdddYPIdddYPJdddYPK8ddd8YPLXdddXYPMxdddxYPXX!X4XGXZXmXXXXXXXXXX+X>XQXdXwXXXXXXXXX"X5XHX[XnXXXXXXXXXX,X?XRXeXxXXXXXXXXX#X6XIX\XoXXXXXXXXXX3XLXeX~XXXXXA' @ ldd dddd'dd/dd-dd'd,d'ddddddd dd ddXXX&X2X>XJXVXbXnXzX1'@mdX+'2@Cm< XXXX '@ #n .5. Y. x.  . 0 . p . , . j. . . . 3. . X .  . . .  . XXXX+X7XCXVXiX|XXX!'*@nJ{ ((XX' (@ oiTimes New RomanITimes New Roman%ArialStandard%Arial Fett KursivVArial;HelveticaStandardTimes New Roman;TimesStandard symbolVtimes symbol - starmathXX(XBXZXuXXXXX'@p7Nd 4d  d  d {d  d  d /hd -d \d 1d )d d d d id d d XXX"X,X6X@XJXTX^XhXrX|XXXXXX?(@pydX'%@q.{D 9XXX'@BqS{ XX'@eqS{X'@qJMzXX'@qS{X'@qG{ XX%'+@r/Zd:R:eXXXS'@*ryX"'@JryX'@iryX@rYX@rX{(.@r ppXX(());//&8z?@@e@@AA CDADrDDDDE(E_E~EEEEEPwg* "XX,StarBatsN-",StarBatsN-",StarBatsN-"` ` ,StarBatsN-" ,StarBatsN-",StarBatsN-"hh,StarBatsN-",StarBatsN-",StarBatsN-"pp,StarBatsN- (StarBats!"-!''times'Od .6q2 <StandardStandard"'''''''''''''''+;(,,--..g* (@'A'1'+'!'''''''''Object with arrowStandardObject with arrow'''''''g*Object with shadowStandardObject with shadow+;(,,--..g*Object without fillStandardObject without fill'g*TextStandardText''g* Text bodyStandard Text body''g*'Text body justfiedStandardText body justfied''g*+'First line indentStandardFirst line indent''g*@'TitleStandardTitle''g*'Title1StandardTitle1 '''+;(,,--..g*+''Title2StandardTitle2 ''+;(,,--..g*@'A'+''HeadingStandardHeading''g*A''Heading1StandardHeading1''g*A'''Heading2StandardHeading2''g*A''''Dimension LineStandardDimension Line''''''g*''Scientific Presentation~LT~Gliederung 1'Scientific Presentation~LT~Gliederung 1''g* (@'%A'+'!''''''''''Scientific Presentation~LT~Gliederung 2'Scientific Presentation~LT~Gliederung 1'Scientific Presentation~LT~Gliederung 2 (@'&A'''Scientific Presentation~LT~Gliederung 3'Scientific Presentation~LT~Gliederung 2'Scientific Presentation~LT~Gliederung 3 (@''A'''Scientific Presentation~LT~Gliederung 4'Scientific Presentation~LT~Gliederung 3'Scientific Presentation~LT~Gliederung 4@'(A'' 'Scientific Presentation~LT~Gliederung 5'Scientific Presentation~LT~Gliederung 4'Scientific Presentation~LT~Gliederung 5@')A'' 'Scientific Presentation~LT~Gliederung 6'Scientific Presentation~LT~Gliederung 5'Scientific Presentation~LT~Gliederung 6@'*A'' 'Scientific Presentation~LT~Gliederung 7'Scientific Presentation~LT~Gliederung 6'Scientific Presentation~LT~Gliederung 7@'+A'' 'Scientific Presentation~LT~Gliederung 8'Scientific Presentation~LT~Gliederung 7'Scientific Presentation~LT~Gliederung 8@',A'' 'Scientific Presentation~LT~Gliederung 9'Scientific Presentation~LT~Gliederung 8'Scientific Presentation~LT~Gliederung 9@'-A'' Scientific Presentation~LT~Titel Scientific Presentation~LT~Titel''QQg* (+'!''' ''''''%Scientific Presentation~LT~Untertitel'Scientific Presentation~LT~Gliederung 1%Scientific Presentation~LT~UntertitelQQg*@'+'"Scientific Presentation~LT~Notizen"Scientific Presentation~LT~Notizen ''!'''''''''-Scientific Presentation~LT~Hintergrundobjekte-Scientific Presentation~LT~Hintergrundobjekte+;(,,--..'&Scientific Presentation~LT~Hintergrund&Scientific Presentation~LT~Hintergrund''TitleTitle@Background objectsBackground objects@ Background Background@NotesNotes@ Outline 1 Outline 1@ Outline 2 Outline 1 Outline 2@ Outline 3 Outline 2 Outline 3@ Outline 4 Outline 3 Outline 4@ Outline 5 Outline 4 Outline 5@ Outline 6 Outline 5 Outline 6@ Outline 7 Outline 6 Outline 7@ Outline 8 Outline 7 Outline 8@ Outline 9 Outline 8 Outline 9@SubtitleSubtitle@$Turquoise Background~LT~Gliederung 1$Turquoise Background~LT~Gliederung 1''g* (@'%A'+'!'''''''''$Turquoise Background~LT~Gliederung 2$Turquoise Background~LT~Gliederung 1$Turquoise Background~LT~Gliederung 2 (@'&A'''$Turquoise Background~LT~Gliederung 3$Turquoise Background~LT~Gliederung 2$Turquoise Background~LT~Gliederung 3 (@''A'''$Turquoise Background~LT~Gliederung 4$Turquoise Background~LT~Gliederung 3$Turquoise Background~LT~Gliederung 4@'(A''' $Turquoise Background~LT~Gliederung 5$Turquoise Background~LT~Gliederung 4$Turquoise Background~LT~Gliederung 5@')A''' $Turquoise Background~LT~Gliederung 6$Turquoise Background~LT~Gliederung 5$Turquoise Background~LT~Gliederung 6@'*'' $Turquoise Background~LT~Gliederung 7$Turquoise Background~LT~Gliederung 6$Turquoise Background~LT~Gliederung 7@'+'' $Turquoise Background~LT~Gliederung 8$Turquoise Background~LT~Gliederung 7$Turquoise Background~LT~Gliederung 8@','' $Turquoise Background~LT~Gliederung 9$Turquoise Background~LT~Gliederung 8$Turquoise Background~LT~Gliederung 9@'-'' Turquoise Background~LT~TitelTurquoise Background~LT~Titel''QQg* (+'!''' ''''''Turquoise Background~LT~NotizenTurquoise Background~LT~Notizen ''!'''''''''*Turquoise Background~LT~Hintergrundobjekte*Turquoise Background~LT~Hintergrundobjekte+;(,,--..#Turquoise Background~LT~Hintergrund#Turquoise Background~LT~Hintergrund'''"Turquoise Background~LT~Untertitel$Turquoise Background~LT~Gliederung 1"Turquoise Background~LT~Untertitel''QQg* (@'+'!'''''''''Horizontal Bar 1StandardHorizontal Bar 17'''''''''          +;(,,--..//00112233445566QQVVg* Vertical BarStandard Vertical Bar7'''''''''          +;(,,--..//00112233445566QQVVg*Horizontal Bar 2StandardHorizontal Bar 27'''''''''          +;(,,--..//00112233445566QQVVg*t(bb ztQ4 r  h  = 7YOC MG' s of this sample document can be printed and copied to overhead transparencies.Scientific PresentationDrMdJoeMn0A0CeX11X11ODrLy LAYER_LAYOUTDrLy LAYER_BCKGRNDDrLy LAYER_BACKGRNDOBJDrLyLAYER_CONTROLSDrLy!LAYER_MEASURELINESDrMP&JoeMtRDrML DrOb<SVDr& 1%DrOb<SVDr&B$i%DrOb<SVDr& ,17JDrOb<SVDr&B,$i7JDrXX/Scientific Presentationgg y%Scientific Presentation~LT~GliederungDrMPJoeM]PFDrML DrObSVDr&]PF7$ #Turquoise Background~LT~Hintergrund]PFDrObASVDr&jF_[C &DrOb}SVDr&tN$% Horizontal Bar 1tNDrOb}SVDr&Q?j$% Horizontal Bar 1Q?jDrObySVDr&jFPC &  Vertical BarjFPCDrOb}SVDr&j_[B$' Horizontal Bar 2j_[BDrXXDrOb SVDr& W1(Turquoise Background~LT~Titel WxV4B1k#Click to edit the title text formatTurquoise Background~LT~Titel6<( (@'DDrObSVDr&X8XB8 $Turquoise Background~LT~Gliederung 1X8XBe xV4B1@ %Click to edit the outline text format$Turquoise Background~LT~Gliederung 17<( (@'ESecond Outline Level$Turquoise Background~LT~Gliederung 28<( (@'FThird Outline Level$Turquoise Background~LT~Gliederung 39<( (@'GFourth Outline Level$Turquoise Background~LT~Gliederung 4:<( (@'HFifth Outline Level$Turquoise Background~LT~Gliederung 5;<( (@'ISixth Outline Level$Turquoise Background~LT~Gliederung 6<<( (@'JSeventh Outline Level$Turquoise Background~LT~Gliederung 7=<( (@'KEigth Outline Level$Turquoise Background~LT~Gliederung 8><( (@'LNinth Outline Level$Turquoise Background~LT~Gliederung 9?<(  (@'M DrXX,Turquoise Backgroundgg n"Turquoise Background~LT~GliederungDrMP=JoeMRtDrML DrObSVDr&?% CL31( Turquoise Background~LT~Titel?% CL3txV4B1_Click to move the slideTurquoise Background~LT~Titel6<( (@'DDrOb SVDr& 27fEc3*!Turquoise Background~LT~Notizen 27fEc}xV4B1hClick to edit the notes formatTurquoise Background~LT~Notizen <( (!@'DrXX,Turquoise Backgroundgg f"Turquoise Background~LT~GliederungDrPgbJoeMtRDrML8DrMD,DrXX" Handzettelgg Y%Scientific Presentation~LT~GliederungDrPgi JoeM]PFDrML8DrMD,DrObSVDr& W1(Turquoise Background~LT~Titel W|xV4B1gLogic Programs with PreferencesTurquoise Background~LT~Titel <( (@'.DrObSVDr&$21+Standard0*xV4B1jREGULAR Logic ProgramStandard g*6' <( (@'A'1'+'' Standard g*6' <( (@'A'1'+''penguin(tweety) Standard g*6' <( (@'A'1'+''bird(tweety) Standard g*6' <( (@'A'1'+''  1flies(tweety) bird(tweety), not flies(tweety).Standard g*6' <( (@'A'1'+''1""##14flies(tweety) penguin(tweety), not flies(tweety).Standard g*6' <( (@'A'1'+''4&&4DrOb1SVDr&-4BStandard-3oAxV4B1ORDERED Logic ProgramStandard g*6' <( ( @'A'1'+''Standard g*6' <( ( @'A'1'+''penguin(tweety) Standard g*6' <( ( @'A'1'+''bird(tweety) Standard g*6' <( ( @'A'1'+''  5r1:flies(tweety) bird(tweety), not flies(tweety).Standard g*6' <( ( @'A'1'+''5&&''58r2:flies(tweety) penguin(tweety), not flies(tweety).Standard g*6' <( ( @'A'1'+''8**8Standard g*6' <( ( @'A'1'+'' nr1 << nr2 Standard g*6' <( ( @'A'1'+''        DrObSVDr&4H[)Standard4HZ'xV4B1l Answer Set 1:Standard<( (@' .{penguin(tweety), bird(tweety), flies(tweety)}Standard<( (@'.Standard<( (@' Answer Set 2:Standard<( (@' /{penguin(tweety), bird(tweety), flies(tweety)}Standard<( (@'! !!/DrOb>SVDr&55\;Standard55[:xV4B1UNIQUE Answer Set:Standard<( (@'/{penguin(tweety), bird(tweety), flies(tweety)}Standard<( (@'! !!/DrXX Overviewgg Z"Turquoise Background~LT~GliederungDrPg=JoeMRtDrML8DrMD,DrOb<SVDr&?% CL3DrObSVDr& 27fEc3*$Turquoise Background~LT~Notizen 27fEcqxV4B1\Click to add notesTurquoise Background~LT~Notizen <( (!@'DrXX Overviewgg f"Turquoise Background~LT~GliederungDrPg]  JoeM]PFDrML8DrMD,DrObSVDr& W1(Turquoise Background~LT~Titel WhxV4B1S DefinitionsTurquoise Background~LT~Titel <( (@'.DrObSVDr&Yd&!Standard}Yd&^xV4B1C;A Logic Program P over is ordered if is partitioned in:Standard g*6' <( ( @'A'1'+''  (##; '((;a set A of regular atoms;Standard g*6' <( ("@'A'1'+'')a set of terms used as names for rules;Standard g*6' <( ("@'A'1'+''))5a set A<< of preference atoms "s << t" where s,t g .Standard g*6' <( ("@'A'1'+''5   5 2 1223232323232323232323232323233535DrObTSVDr&A,Z2!StandardA,Z2xV4B1Naming functionStandard<( (@'n: P Standard g*6' <( (@'A'1'+'' DrOb:SVDr&3KZB!Standard3KZBxV4B1<Statically Ordered logic program P: (meta-level perferences)Standard<( ( @' ! !"!""<%/0;P=P'P'', where:Standard g*6' <( ( @'A'1'+''  %P' is a logic program over \A<<, andStandard g*6' <( ("@'A'1'+''$ %%%%% %%%%%  %   % % % P''{(n(r) << n(r')) | r,r'P}.Standard g*6' <( ("@'A'1'+''              DrOb SVDr&&8U)!Standard&8U)xV4B1BThe answer sets of an ordered LP are called preferred answer sets.Standard (@'B,55BDrXX# Definitionsgg ^"Turquoise Background~LT~GliederungDrPg@JoeMRtDrML8DrMD,DrOb<SVDr&?% CL3DrObSVDr& 27fEc3*$Turquoise Background~LT~Notizen 27fEcqxV4B1\Click to add notesTurquoise Background~LT~Notizen <( (!@'DrXX# Definitionsgg f"Turquoise Background~LT~GliederungDrPghJoeM]PFDrML8DrMD,DrObSVDr& W1(Turquoise Background~LT~Titel WrxV4B1]Compiling PreferencesTurquoise Background~LT~Titel <( (@'.DrObSVDr&/Z,!Standard/Z,wxV4B1X5Mapping Function T from Ordered LP, P, to Regular LP:Standard g* 6' <( (@'2A'1'+'' $&$&$&$&$&$&$&$&$&$&$&$&$&$&Ha rule can be "applied" only if this is compatible with all preferences.Standard g*6' <( (@'A'1'+''HGHStandard g*6' <( (@'A'1'+''QThe application of a rule, r, is ok w.r.t. a rule, r', with higher preference if:Standard g*6' <( (@'A'1'+''Q!!##Qr' was applied, orStandard g*6' <( (@'A'1'+''r' was blocked.Standard g*6' <( (@'A'1'+''DrOb SVDr&1W);!Standard1W);xV4B1}a1(r):head(r) ap(n(r)).Standard g*6' <( ( @'A'1'+''$a2(r):ap(n(r)) ok(n(r)), body(r).Standard g*6' <( ( @'A'1'+''$%b1(r,L):bl(n(r)) ok(n(r)), not L+.Standard g*6' <( ( @'A'1'+'' %#$!b2(r,L):bl(n(r)) ok(n(r)), L-.Standard g*6' <( ( @'A'1'+''!  DrObeSVDr&+1;[9<! Standard+1;[9<xV4B16c1(r):ok(n(r)) ok'(n(r),n(r1)),...,ok'(n(r),n(rk)).Standard g*6' <( ( @'A'1'+'' 6230c2(r,r'):ok'(n(r),n(r')) not (n(r) << n(r')).Standard g*6' <( ( @'A'1'+''  07c3(r,r'):ok'(n(r),n(r')) (n(r) << n(r')), ap(n(r')).Standard g*6' <( ( @'A'1'+''  77c4(r,r'):ok'(n(r),n(r')) (n(r) << n(r')), bl(n(r')).Standard g*6' <( ( @'A'1'+'' 7 DrObSVDr&^=FB!Standard^=FBzxV4B1c;t(r,r',r''):n(r)<JoeMRtDrML8DrMD,DrOb<SVDr&?% CL3DrObSVDr& 27fEc3*$Turquoise Background~LT~Notizen 27fEcqxV4B1\Click to add notesTurquoise Background~LT~Notizen <( (!@'DrXX! Compilinggg f"Turquoise Background~LT~GliederungDrPg>  JoeM]PFDrML8DrMD,DrObSVDr& W1(Turquoise Background~LT~Titel WdxV4B1OExampleTurquoise Background~LT~Titel <( (@'.DrObSVDr& Ew( StandardCF'dxV4B1Gpenguin(tweety) Standard g*6' <( ( @'A'1'+''bird(tweety) Standard g*6' <( ( @'A'1'+''  5r1:flies(tweety) bird(tweety), not flies(tweety).Standard g*6' <( ( @'A'1'+''5&&''58r2:flies(tweety) penguin(tweety), not flies(tweety).Standard g*6' <( ( @'A'1'+''8**8 nr1 << nr2Standard g*6' <( ( @'A'1'+''        DrOb|SVDr&A *N)BStandard&A *M@ xV4B1 flies(tweety) ap(n(r1)).Standard g*6' <( ( @'A'1'+''  8ap(n(r1)) ok(n(r1)), bird(tweety), not flies(tweety).Standard g*6' <( ( @'A'1'+''      8 ))**8(bl(n(r1)) ok(n(r1)), not bird(tweety).Standard g*6' <( ( @'A'1'+''      ( (&bl(n(r1)) ok(n(r1)), flies(tweety).Standard g*6' <( ( @'A'1'+''      & &Standard g*6' <( ( @'A'1'+'' ok(n(r1)) ok'(n(r1),n(r2)).Standard g*6' <( ( @'A'1'+''       &ok'(n(r1),n(r2)) not (n(r1)<