AUTOMATH Partial subset of
SEMIPAL Precursor