Removed unnecessary MVN dependency in profiles plugin
The top level apibinding package pulls in the api subpackage as well.
Added existential quantification count to axiomatic plugin
Indicator sourced from Kang et al.