SRI International: description of the FASTUS system used for MUC-4