Add, remove or search statements (Click here to search categories)
Note: Javascript is not enabled in your browser. This tool requires it. You need to get Netscape Navigator 2.0 or later. You should also enable JavaScript by on the Advanced page of the Preferences dialog box.
-- Commands on statements -- Statement; //assert a statement delGraph Statement; //delete a statement delGraphs; //delete the statements you created spec Statement; //give the specializations of a statement ? Statement; //general statement search command print [-n] [String1 ... StringN]; //print command Statements in Frame-CG Do not use HTML (-> plain text document) Use HTML except within formal statements Use HTML tags (e.g., hyperlinks) anywhere
You may want to use the next menu to add a statement as parameter of the last command.
Add a relation to the first last object of the last command.