(=>
(and
(maxCardinality ?REL ?ARG ?COUNT)
(instance ?REL Predicate))
(exists (?S ?EL @ARGS)
(and
(instance ?S SetOrClass)
(=>
(and
(?REL @ARGS)
(equal ?EL
(ListOrderFn
(ListFn @ARGS) ?ARG)))
(and
(instance ?EL ?S)
(lessThanOrEqualTo
(CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2210-2223 |
|