@Override
protected void facts( final SortedSet<String> facts )
{
final CountConstraint constraint = context( PropertyDef.class ).getAnnotation( CountConstraint.class );
final int min = constraint.min();
final int max = constraint.max();
if( min == 1 )
{
facts.add( atLeastOneStatement.text() );
}