Lease analysis and abstraction software.