#defmacro includeFileAtCompileTime: @open(src).read()
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8"/>
<link rel="stylesheet" type="text/css" href="/static/default.css" media="screen"/>
<link rel="shortcut icon" href="/static/favicon.ico" type="image/x-icon" />
<title>Top Engine</title>
</head>
<body>
<div class="outer-container">
<div class="inner-container">
#includeFileAtCompileTime: ./header.incl
<div class="path">
<a href="/topengine/">Home</a> > <a href="/topengine/viewRawTriples">View Model's Triples</a>
</div>
<div class="main">
<div class="content">
<h1>Insight into the Model: The Raw Triples</h1>
<p>The model contains $graph_size triples altogether.
#if $has_inferred_triples
Both the asserted and inferred triples are shown.
#else
Due to the large number of triples, only the asserted triples are shown.
#end if
</p>
<h2>Asserted Triples</h2>
<ul>
#for $triple in $asserted_triples
<li>$triple</li>
#end for
</ul>
#if $has_inferred_triples
<h2>Inferred Triples</h2>
<ul>
#for $triple in $inferred_triples
<li>$triple</li>
#end for
</ul>
#end if
</div>
<div class="navigation">
#includeFileAtCompileTime: ./navigation-pt1.incl
#includeFileAtCompileTime: ./navigation-pt2.incl
#includeFileAtCompileTime: ./navigation-pt3.incl
</div>
<div class="clearer"> </div>
</div>
#includeFileAtCompileTime: ./footer.incl
</div>
</div>
</body>
</html>