@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/eye/reasoning#>.

{
    true log:callWithOptional {:s :p1 true. ?C1 log:equalTo 1}, {?C1 log:equalTo 0}.
    true log:callWithOptional {:s :p2 true. ?C2 log:equalTo 1}, {?C2 log:equalTo 0}.
    true log:callWithOptional {:s :p3 true. ?C3 log:equalTo 1}, {?C3 log:equalTo 0}.
    true log:callWithOptional {:s :p4 true. ?C4 log:equalTo 1}, {?C4 log:equalTo 0}.
    true log:callWithOptional {:s :p5 true. ?C5 log:equalTo 1}, {?C5 log:equalTo 0}.
    (?C1 ?C2 ?C3 ?C4 ?C5) math:sum ?C.
    ?C math:notLessThan 3.
} => {
    :s a :3outof5.
}.
