Package ai.libs.jaicore.logic.fol.theories