Creating a New Sentence Rule

Pro/3 home page  -  documentation overview - What is Pro/3?

» What are sentence rules? 

The New Sentence Rule-window is used to enter a new rule's realm and number (this serves as name for the rule, but otherwise has no significance); the concluded sentence type, and finally the type of rule being created. 

The concluded sentence type is specified by using the unary  or binary radio buttons, and then the list edit controls to specify/enter the predicate type (middle control) and first entity type argument (upper control) and second entity type argument (lower control) (in case of binary predicate types). The entity type controls are used to either select an entity type or in case of "open entity type argument" to enter a variable.

The rule editor will be opened upon pressing OK.