@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix homotypic: <http://www.nie.org/ontology/homotypic#>.

## Extend a ?unity that has homotypic parts 
#  (i.e. a rdf:List that consists of members that are of the same owl:Class as ?unity) 
#  with those properties of its parts 
#  for which ?unity has a owl:minCardinality of 1, if ?unity lacks such a property. 
##

# (*1) CHECK owl:minCardinality 1 is false
# from https://raw.githubusercontent.com/nie-ine/N3-rule-based_machine-reasoning/master/machineReasoning_cardinality/machineReasoning_cardinality_input/cardinality-rules.n3

{
	?unity a [owl:onProperty ?property; owl:minCardinality "1"^^xsd:nonNegativeInteger];
      a ?class;
      homotypic:hasHomotypicParts ?list .
	?SCOPE e:findall (?o {?unity ?property ?o} ()). # (*1) empty list
   ?part list:in ?list;
         a ?class;
      ?property ?object .
}
=> { ?unity ?property ?object . }.