semantic framework as a library for LEPTON