Reasoning with Machines Lab