Network Assistant Reasoning with a Validating Agent Language