Glossary

A

• Algebraic Types - Ways to combine and structure data types

• Annotations - Paratextual information enclosed in [square brackets]

• AND - Logical conjunction operator

• ASSUME - Declares a variable with a specific type

• AT - Temporal operator for specifying time points

• AT LEAST - Operator for minimum quantity conditions >=

• AT MOST - Operator for maximum quantity conditions <=

B

• Basic Data Types - Core data types including booleans, strings, numbers, and records

• Booleans - Basic true/false values represented as TRUE and FALSE

• Boolean Logic - Logical operators and conditional logic

• BY - Specifies the method or means of an action

C

• Comments - Single-line comments -- or block comments {- ... -}

• Conditional Logic - IF/THEN/ELSE structures

• CONSIDER - Pattern matching operator for type matching

• DECIDE - Keyword for defining decision functions

• DIVIDED BY - Division operator for numbers ÷

D

• Days and Dates - Library with functions for day and date math

• Default Logic - Predefined values and their handling

• Default Reasoning - Logic for handling unspecified cases

• DECLARE - Keyword for defining new types

• Deontic Logic - Logic of obligation and permission

• Ditto Syntax - Using ^ to reference the word above in the same column

• DO - Action operator in regulative rules

• DOES - Alternative form of DO for actions

E

• ELSE - Alternative branch in conditional logic

• EQUALS - Equality comparison operator

• EXACTLY - Operator for exact matching conditions

• #EVAL - Directive for evaluating expressions inline

F

• FALSE - Boolean false value

• FOLLOWED - Temporal operator for sequence

• FOR - Specifies purpose or target

• FROM - Specifies source or origin

• Functions - Core building blocks for reusable code

• FULFILLED - State indicating successful completion

G

• GIVEN - Keyword for declaring function parameters

• GIVETH - Keyword for specifying return type

• GREATER THAN - Greater than comparison operator

H

• HAS - Keyword for defining record fields

• HENCE - Consequence operator in regulative rules

I

• Identifiers - Space-separated words enclosed in backticks

• IF - Conditional operator

• IMPLIES - Logical implication operator

• IMPORT - Keyword for importing external definitions

• IS - Type assertion operator

L

• LESS THAN - Less than comparison operator <

• LIST - Collection type for ordered elements

• LEST - Alternative consequence operator

• Logical Operators - AND, OR, NOT operations

M

• MEANS - Assignment operator for definitions

• MINUS - Subtraction operator -

• MODULO - Modulo operator for numbers %

• MUST - Obligation operator in regulative rules

• Multitemporal Logic - Handling time-based logic and constraints

N

• NOT - Logical negation operator

• NOTHING - Represents absence of value

• Numbers - Numeric values (no distinction between integers and floats)

• @nlg - Natural Language Generation annotation

O

• OF - Type composition operator

• ONE - Enumeration operator

• OR - Logical disjunction operator

• OTHERWISE - Alternative branch in conditional logic

P

• PARTY - Specifies actor in regulative rules

• PLUS - Addition operator +

• PROVIDED - Alternative to IF for preconditions

R

• RAND - Random AND operator

• ROR - Random OR operator

• Records - Composite data types that group related data together

• References - Citations using @ symbol

• @ref - Reference annotation

• @ref-map - Reference mapping annotation

• @ref-src - Reference source annotation

• Regulative Rules - Rules governing behavior and constraints

• Return Values - Output values from functions

S

• #SEVAL - Directive for evaluating expressions in sections

• Shall Statements - Mandatory requirements and obligations

• STARTING - Temporal operator for beginning

• Strings - Text values enclosed in double quotes

T

• TBD - Placeholder for future implementation

• THE - Article in type definitions

• THEN - Consequence operator in conditional logic

• Time-based Rules - Rules that change over time

• TIMES - Multiplication operator *

• TO - Destination or target operator

• TRUE - Boolean true value

• Types - Ways to combine and structure data types

• #TRACE - Directive for tracing execution

W

• WHEN - Pattern matching operator

• WHERE - Local definition scope

• WITH - Record construction operator

• WITHIN - Temporal operator for duration

Y

• YIELD - Return value operator