<keyword>Assign</keyword>
<keyword>land</keyword>
<keyword>lor</keyword>
+ <keyword>lnot</keyword>
+ <keyword>liff</keyword>
<keyword>subst</keyword>
<keyword>vdash</keyword>
+ <keyword>iforall</keyword>
+ <keyword>iexists</keyword>
</keyword-list>
<string _name = "String" style = "String" >