Added notes about the bigMech evaluation corpus