-Familiar underline-based interface

-Real-time error detection with Microsoft Word integration

-Dynamic antecedent basis detection applied to the entire claim tree

-Term list that updates as you type, with adaptable element renaming capabilities

-Utilities for renumbering and reordering claims with a single click