/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/ is in ats-lang-anairiats 0.2.5-0ubuntu1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/array.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/array2.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/bool.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/char.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/date.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/general.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/list.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/listPair.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/math.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/real.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/string.sats
/usr/lib/ats-anairiats-0.2.5/libats/smlbas/SATS/time.sats