---

valid argument (subgroup of argument) → HasA → false conclusion

0.79