Validating a High Level Behavioral Representation Language (HERBAL): A Docking Study for ACT-R