:=

RuleBuilder

∀

axle

∃

axle

√

axle