Text this: A logical model of HCP