# implies [*Macro*]

## Purpose

The **implies** macro specifies that a strict implication holds between two concepts, or between two relations. This macro allows new implications to be incrementally added to previously-defined concepts and relations.

## Syntax

**implies** *antecedent consequent*

## Arguments

The *antecedent* and *consequent* arguments are concept-forming expressions (see **defconcept** Remarks) or relation-forming expressions (see **defrelation** Remarks). The *antecedent* and *consequent* cannot both be relations defined with the **:satisfies** operator.

## Value

The antecedent concept or relation is returned.

## Examples

(implies Surfer Tan) ==> |C|SURFER
(implies Person (:exactly 2 has-arm)) ==> |C|PERSON
(implies husband (:and love honor cherish)) ==> |R|HUSBAND
(implies (:satisfies (?x ?y) (:and (Positive ?x) (Negative ?y)))
attract) ==> |R|ATTRACT_1
(implies (:and Stress-Test (:some applied-to Ischemic))
(:filled-by risk 'HIGH)) ==> |C|STRESS-TEST_1

## See Also

Last modified: Dec 28 1995