Assertion list
lie (primary) → HasA
Results from Ascent++: 6
lie → HasA → cost 0.39
lie → HasA → consequence 0.36
lie → HasA → same effect 0.32
lie → HasA → short legs 0.25
lie → HasA → leg 0.16
lie → HasA → real consequences 0.16