Working on CRAM predicates ´task_goal_inherited´, ´subtask_typed´, ´task_designator_exp´ and ´action_designator_exp´.