# get-role-min-cardinality [*Method*]

## Purpose

The **get-role-min-cardinality** method finds the minimum number of fillers of a given role on a given concept or instance.

## Syntax

**get-role-min-cardinality** *conceptOrInstance* *relation*

## Arguments

The *conceptOrInstance* argument is a Loom concept or instance.
The *relation* argument is the relation for which a lower bound is to be found.

## Value

The **get-role-min-cardinality** function returns the minimum number retriction that applies to *conceptOrInstance* for *relation*.

## Examples

(defconcept B
:is (:and (:all r A) (:exactly 3 r) (:filled-by r Joe Fred)))
(defconcept C
:is-primitive B
:implies (:and (:some s A) (:at-most 2 s))
:defaults (:filled-by s Sue))
(tellm (C Mary))
(get-role-min-cardinality (fc C) (fr r)) ==> 3
(get-role-min-cardinality (fc C) (fr s)) ==> 1
(get-role-min-cardinality (fi Mary) (fr r)) ==> 3
(get-role-min-cardinality (fi Mary) (fr s)) ==> 1

## See Also

Last modified: Jun 1 1995