Käsikäes rock-elementide ülekandumisega jazzi hakati üha rohkem kasutama ka elektroonilisi pille, nagu näiteks elektrikitarrid, -klaverid ning süntesaatorid. Jazzrocki iseloomulik element on off-beat rütmi puudumine. Seetõttu öeldakse sageli, et tegemist pole otseselt dzässmuusikaga traditsioonilises mõttes, vaid et vaba jazzi võib vaadelda avangardse süvamuusikana, jazzrocki aga tänapäevase popmuusika erikujuna. Silmapaistvamad esitajad: Wynton Marsalis, Branford Marsalis, Lyle Mays, Pat Metheny, Kevin Eubanks, Ray Anderson, Roy Hargrove ja Joshua Redman. (Sepp jt 1996 lk 51) 9 2.4 Heavy Rock Hevirokk on jõuline muusikastiil, mis hakkas arenema 1960. aastate lõpul ja on oma populaarsuse säilitanud tänaseni. Kasutatakse ka paraleelnimetust heavy metal. Stiili juured ulatuvad bluusi, kantri ja psühedeelilise rokini.
Vanaisa definitsiooni kahepoolsest järeldussuhtest Û läheb meil tarvis ainult vasakpoolset Ü. Seega saame vanaisa-reegli meie jaoks vajaliku esialgse erikuju vanaisa(Mihkel_Tammik,Mart_Tammik) Ü isa(Mihkel_Tammik,Jaan_Tammik) & (isa(Jaan_Tammik,Mart_Tammik) Ú ema(Jaan_Tammik,Mart_Tammik)). Lauseosa (isa(Jaan_Tammik,Mart_Tammik) Ú ema(Jaan_Tammik,Mart_Tammik)) tuletamiseks piisab sellest, kui tõestada (isa(Jaan_Tammik,Mart_Tammik). Reegli lõpliku erikujuna kasutame j"rgmist: vanaisa(Mihkel_Tammik,Mart_Tammik) Ü isa(Mihkel_Tammik,Jaan_Tammik) & isa(Jaan_Tammik,Mart_Tammik) . Viimased kaks väidet on meie sugulussidemete andmebaasis olemas, ning järeldusreegli abil saame seetõttu tuletada vanaisa(Mihkel_Tammik,Mart_Tammik). Võib muidugi küsida, kust näiteks peaksime teadma, et z-ks sobib nimelt Jaan_Tammik. Taolistele küsimustele vastuse leidmine on nimelt see, mis tegeliku tõestamise väga töömahukaks muudab
annaabi.ee 
