AGI Logic Language