# ===============================================
# Dog license example
# If you have more than 4 dogs you need a license.
# ===============================================

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix : <https://eyereasoner.github.io/ns#>.

:alice :hasDog :dog1, :dog2, :dog3, :dog4, :dog5.
:bob :hasDog :dog6, :dog7.

{
 ?Subject :hasDog ?Any.
 (1 { ?Subject :hasDog ?Dog } ?List) log:collectAllIn ?Scope.
 ?List math:sum ?Count.
 ?Count math:greaterThan 4.
} => {
 ?Subject :mustHave :dogLicense.
}.