%entails% | R Documentation |

Entailment between implication sets

```
imps %entails% imps2
```

`imps` |
( |

`imps2` |
( |

A logical vector, where element k is `TRUE`

if the
k-th implication in `imps2`

follows from `imps`

.

```
fc <- FormalContext$new(planets)
fc$find_implications()
imps <- fc$implications[1:4]$clone()
imps2 <- fc$implications[3:6]$clone()
imps %entails% imps2
```

Embedding an R snippet on your website

Add the following code to your website.

For more information on customizing the embed code, read Embedding Snippets.