Lattice-Based ARKG