<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,"Noto Sans",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#challenge-error-text{background-image:url("data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+");background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme: dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="360"></head><body><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt = {cvId: '3',cZone: 'sourceforge.net',cType: 'managed',cRay: '95ddfcad8702aae6',cH: 'vftMyeds6LcHZUKSn2eEQAvSk4jZa.Tjp3QceLSlitw-1752296532-1.2.1.1-_Pi_7BbTOaImvF1cb.q7jLhzCNnm8fHDUymBClVjHNifbYB644JHAalmo85ruOXj',cUPMDTk:"\/p\/xsb\/src\/4265\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/inheritance.tex?__cf_chl_tk=PCOHe6p88CoqlQGZjKLL26ZKh_1bzM_toU47XKZaTXw-1752296532-1.0.1.1-4qXcPVpjqGeIyqITlVHEKjO7FwqFV6rGCkY5iJJfG1A",cFPWv: 'g',cITimeS: '1752296532',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4265\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/inheritance.tex?__cf_chl_f_tk=PCOHe6p88CoqlQGZjKLL26ZKh_1bzM_toU47XKZaTXw-1752296532-1.0.1.1-4qXcPVpjqGeIyqITlVHEKjO7FwqFV6rGCkY5iJJfG1A",md: 'qv3dBV03RpI6KXMz28q76C24ktzOqx4_dG8hqAPiS_Y-1752296532-1.2.1.1-8h.SlTRoxkkT4tfBnWldc8m.wHx0xpu.uvzT10XW2F8b_HVNzhJVWeZ6BSzaaj2LlT_ElohiI2kO6Z58LkQcR10DucveS_de1VkBM_OvjgMWssSRWFF0Z6kujXKFZNSgrza1ilcBPZEK0Nnv3eCIx4jVK6OQIR5E.uAYvlQR1r7sFTqJUyke6Zqq9uXGk9sG9td1Lwj1DgcTJeta90VMWsD.U0VKON.ISw8puxvBgvsg3OhDMaIgOafgANKugwotyPyntudNlKPpt5uNQpQcxRWA_4xh81KuJwvdxSKwqcdtxzhwrIJh9d_CkYdsLrZMkGWzCCXNyY3PuGFh8yS8FsDDoj99JH2IykuOxrPUuDSeUTUdbKKOyatyu872uGyqSjKWNSblyKK3.vKV5aIAC25R0M1rmxa49iOp3WfvtlwPc9qxneaUFH_QYToO3ZYx5TuZOIEVMwaaqD3lj7zgeOTu9Clk1LLdHQyypiwfFG8.4rnEjllCdo7kD22z.Ij_6VNy.RlFXqP2He1vJ5LXpEGNvKSQIX4fdyGV82TURACXgSPXfsjjXaoKe9MKBAenuSxsTsaLl1tiZ_hfysgKO2weKQavHK2y9mFVMq4YICrQiBjtknm0VBhDAbyzYu4mPV9ylexO1Nw_1dRDB4Sgt.H6DwJOuRehp8KoPoQJHz.oXXnkJw7aEZg5rDg7KwUj_TGBYJIIMAU_EwbvzmA7CxLmhZGw3D23JJEpEojNd2z.oOjmxE9w8_1ArVzPMVVhlHpLGl.lofRvef1KQ5rJytkS8OJ2P9iCzI8IfrdmUaR1hyLlNje3cQ3X5PSvuTTZPTCB_lvYUerZ_YILtPe3Si16Er1G7teUEg2forKzcFjUajEL0hRZSPw5eT0YT57GfiZGZ4zmRzpwl1gFJCgl9cx0Qmpzzk1tnjaQ7SJdNbbCzKtm4kJF2oNwNvPIjQMcrlc1MO5eycRDMjyp7RiDz7V9IEVeSFqKUTLRwRdfzbUzI2OdxpThAueztAfxHDPU',mdrd: 'Lm1msAw.wuGHUBMAAEytpDJ2oSiT_EQmd2QYN14_.60-1752296532-1.2.1.1-q_frLTKlhOXAzKHisxpEGni.MaHkAo.8M3O0tqBKt1cBbz5IhS6Wt2MDZ5nurmw1KgtB2rr5mYE5BcsAcQSBP92CjpAeiwaheUzBhLp8Zqt.olBIMNaX4GybyeQgq61CNb7.cebcrs_hGS_7YCrCPGfchS1sG_WM7zyvElUKxxxo1QtMmH5WO.BbAvortp9_fFOQkiVSBdSV31n_d12PQjWETkI7iFSRRL3ze2PTkJbmMrYrh_X6YKN1CNoMQdwBwpU.OZRyixDdyZPj7GWTPWvyH3MVLwIO.BsYhtwZB6FqaG.mFJHNMJTumHGjUAg2BdXDQxpDTAyXTk.1l3tvqD8jzpJncbhrdzsyw3uH4Z5IC7QSf4Ih1a7rBcy3SKAZxIiDAP9x1j00bbIPBMIp8vVr2m1Zm8VBO0n8FJWT3ezc3TNVV5HFJ__GlgYeBOPaYasH0LCS6Lq6PqPjxytZpSqWkjmyK2I8ERuWqJw7leaGCgTGg2_qQJwmIAPSaA1ESxDhf9EGTXlJx_fjhXzQE7wagzbSfyXw9jIqDWmCGhkd.JCyHH8uHUTtiPZ8JFuctMsOlJq.FSJ3LT3d35lQkh3MVQ1XcSFxckn3VrzP5scBMsfboVNMkhfYKXzP5o9pZAj2eiXotMm_dFLGmIkABYd395JCI_WqWqNVRI6_2xI7TVHSF_3_pGHHTxOzOrjBJ0wn2kwN7JjIY7zpcVa.82z7Tg.eJj5VwLBk3qxRBhkn.I7O7XbuMk2AWaBIzoLwqWLv5V7mWBczi8UtcwFlv8RlbFVk2BDryUBe2TUc66ELwcJiT.61ayeQyaNXCBFj6xneLPiTquy3J4Ghr7_S641SeHWcgiB30KFaDgSJ4BML.qQ5ZwXdVdSPPHa5La.D7UAiRjlXJxOcujWtroA9CoZGHWH3Y6FRdKOjJGl2P796M44RzONz8natkEtN.7mlNIP_9gmasEpHn_P04lMoQd.Ol.m1DWN6R9l8JaiCCv16vXrPNq4i.CJP_MEavkYt2rE6re5EW8sZia5aeCw0cT5brBVrCc0i999GHxyQsR0rPEmGK3qafl9.BSlEiLFahSYDiq5UXHLHQJ3w19zrsgXBDxgKwyZT7tZQz52oVJ.Tb6CuNI5dUZ3OYyFyH1a2QxRioa1A6zzgPx.I7eYBpiSS1ni_OYSSujTJWxfsasz2cYIh5tOmfH0p9UpJuxmm4LlV6Xxf6we61YwXFqtwIp1hC3uK3y5GLwUMUniJ3Bs__vna49Gelzp2MgXvjZsZewEwjJkaq_hBdMGwtLd2ui1mN9hsVjH_s0PqimlkU42Ojy96thycDs4GKrS6ZbyfcSAikW7KDycrPSfbqi_zltsyBmYa1BA.XOFGxmqL954ZmOWoh.1i_I8wkpWsqaz.sIzj9NOkS289ypt_aDgs5g7lFrziqoD4GV83rGSxj.uPYahVLjNaYBFHtLFyPYCBNvhGmVjSLBS9wEJhqFdH54mwBSuomCqL_PDotQHcMCYloc9CfWe6lmOcI8zmswaqIoGulPbeQyR972_0aH.h3CLfqJrYh4NjeQEHBifB0oC8.uEUSoAXMuQLudvVlhbIYTmUxEs9nNmwzPO1hgD_1yMYy49eqDpqE76B5cd6Ojmktpj85bWgSlbKgfKhXSod2YpMbdnQp3iroIIlo36LFnwGc4jhPlLOCddHDIK8cY8lMIJ1hHFq69dwg5vwyp6DEF7sWnjXy0_lwN5QwIMlRobhSo_ajR_7jgRHF8SkSWfjDHi.Y.kTK3OB2q4twJ_G_.y8Z1c.gju0QvweyvzR_M1gUxQ8T.PknlXIVCgaR.iBne4mmRPYijouFHYwuM1ZJXAhvrLtgvk7_eit9Jf2KYBZYltEMio8LjP._NYdD_uzRgrRkDS4SBdcnPTPVHICkSXUinluE9duCKcYzofDH7T4XEE4LlSkTGo4GHUJ3I_xdCSh0wxg96aTnpXbu92wJd4Ket_ffFjZLXpmv2iPo1Xglp9St9pNrrXupPnwua8KBRz_on1qvP8NpkinmsOtY5QqiIDbJ6i79LQZEmAKsnz4BHkZJWBgqD6t8Pzd3MzhIFeVAa_X3BQVbwjWXr8bKQFIY7_Oz39LhLgwm0qZkHkGu6Meo.3WOZivnV.L7HZ_VjJm59s5Rq0HlohH3WTY0NAgzFJ8lQ7Kl5U6IC5FqA3amDgm670Cinr7nQxJUjOPGRW9sJOLXcT6QPHErSKZqqfSP0Sv9GYGwts3JDP60fB43zH7LteQM39fksf1uvg5ONbdPeyCjs.V1Tj0ZMn0FPIKBvhkykQn4QhLOVms87MWyIde4cXpYHE6SyXdr0sf_KR.SQuOfmrd0LlKm2SYPUx3IPF46aGZNdlLp8_OAyYm.fdPLD8MaVx9FOEQl1hqbzOlT3S1YAjjRalRAdpSgTIz70.MQVA3TyfZLD3jS5m.yu8oVGTbsmoBdWxZBwNMyxYb.mSCy5ASsNaK.bFOx_iu9D5kAam1U8osg2Dd7neYs_tHLfooHOfO9qsD045EblS5_CIGiIc39o42adUw3p_JG5YMFeKHa.A3o6sejuEmaeZAWQM8nXHx8kwCaeoxVLBcUc7eRiEcI.RSrAe8',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95ddfcad8702aae6';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null,"\/p\/xsb\/src\/4265\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/inheritance.tex?__cf_chl_rt_tk=PCOHe6p88CoqlQGZjKLL26ZKh_1bzM_toU47XKZaTXw-1752296532-1.0.1.1-4qXcPVpjqGeIyqITlVHEKjO7FwqFV6rGCkY5iJJfG1A"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>