AGI Logic Language Reference