width: 0.25em 0 0.25em 0.5em;
}
li.tree-opened > .toggler:before {
    content: "";
    height: 0;
    width: 0;
    border-color: blue transparent ;
    border-style: solid;
    border-width: 0.5em 0.25em 0 0.25em;
}
</style>
 
 <link rel="icon" href="logo.ico">
 
 </head>
 
 <body style="font-size:15px;background: #ECECEC; margin:80px; color:#333;">
 
<h3>Query</h3>
<b>
  <font color=blue>?-</font> 
holdsAt(light_red,A).
<br><br>
 <br> 
A#>2,A#<3 ?<br>
</b>
<br><br>
<h3>Model</h3>

holdsAt(light_red,A │