consequent

(=>     (and         (instance ?ARGUMENT Argument)         (equal ?PREMISES             (PremisesFn ?ARGUMENT)))     (<=>         (subProposition ?PROPOSITION ?PREMISES)         (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 17081-17087	If an argument is an instance of argument and equal a formula and the premises of argument the argument, then a proposition is a sub-proposition of the formula if and only if the proposition is a premise of the argument
(=>     (evidence ?LA ?P)     (exists (?A ?PROP)         (and             (instance ?PROP Proposition)             (instance ?A Argument)             (refers ?A ?LA)             (represents ?PROP ?P)             (premise ?A ?PROP))))	Law.kif 180-188	If a physical is evidence in a legal action, then there exist an argument and the physicalROP such that the physicalROP is an instance of proposition and the argument is an instance of argument and the argument includes a reference to the legal action and the physicalROP expresses the physical and the physicalROP is a premise of the argument

Show simplified definition (without tree view)
Show simplified definition (with tree view)