## Diff of /examples/notany/README.txt[495079] .. [6de8ee] Maximize Restore

### Switch to unified view

`...`
`...`
5
```The forward-chaining and backward-chaining rules are in two different .krb
```
5
```The forward-chaining and backward-chaining rules are in two different .krb
```
6
```files showing examples of use of the 'notany' clause in both cases.
```
6
```files showing examples of use of the 'notany' clause in both cases.
```
7
7
8
```These rules find all people who have no aunts all people with no uncles.
```
8
```These rules find all people who have no aunts all people with no uncles.
```
9
9
10
```    >>> import run
```
10
```    >>> import driver
```
11
11
12
```    # uses fc_notany.krb
```
12
```    # uses fc_notany.krb
```
13
```    >>> run.fc_test()
```
13
```    >>> driver.fc_test()
```
14
```    egon has no uncle
```
14
```    egon has no uncle
```
15
```    ralf has no uncle
```
15
```    ralf has no uncle
```
16
```    anton has no uncle
```
16
```    anton has no uncle
```
17
```    elisabeth has no uncle
```
17
```    elisabeth has no uncle
```
18
```    karin has no uncle
```
18
```    karin has no uncle
```
`...`
`...`
21
```    elisabeth has no aunt
```
21
```    elisabeth has no aunt
```
22
```    karin has no aunt
```
22
```    karin has no aunt
```
23
```    sabine has no aunt
```
23
```    sabine has no aunt
```
24
24
25
```    # uses bc_notany.krb
```
25
```    # uses bc_notany.krb
```
26
```    >>> run.bc_test()
```
26
```    >>> driver.bc_test()
```
27
```    anton has no aunt
```
27
```    anton has no aunt
```
28
```    elisabeth has no aunt
```
28
```    elisabeth has no aunt
```
29
```    karin has no aunt
```
29
```    karin has no aunt
```
30
```    sabine has no aunt
```
30
```    sabine has no aunt
```
31
```    egon has no uncle
```
31
```    egon has no uncle
```