Al as output. If R takes two inputs, then find two Atoms (A2, A3) so that applying It to (A2, A3) yields Al as output. Given a target Atom such as Al - Inheritance $V1 breathe the VariableAbstractionRule will do inferences such as ExecutionLink VariableAbstractionRule HypotheticalLink Inheritance people breat