Packages
ai.krr  
ai.krr.fol  
ai.krr.propositions