other,21-7-P97-1040,ak </term> are represented compactly via <term> formal intersections </term> N ~ = IAi of <term> FSAs </term> . We
hide detail