Task model reasoning