Assertion list
lying (primary) → HasA
Results from Ascent++: 1
lying → HasA → consequence 0.16