module ADSL::FOL