Add isNotApplicable() to ExistentialRuleform