# An instance with two arguments, both are IRIs:
ex:Template (ex:A, ex:B) .

# An instance with two arguments, both are no-value arguments:
ex:Template (none, none) .

# An instance with two arguments, one variable and one literal:
ex:Template (?var, "string") .

# An instance with one argument, which is a list with two elements. 
# The instance is marked with the instance modifier ~cross~, and the argument is marked with the list expander. 
cross | ex:Template (++(ex:A, ex:B)) .

# An instance with three argument, where the last argument is a list.
# The instance is marked with the instance modifier ~zipMin~, and the list argument is marked with the list expander. 
zipMin | ex:Template (1, 2, ++(ex:A, ex:B, ex:C)) .