Assertion list
recliner (primary) → HasPrerequisite
Results from Ascent++: 3
recliner → HasPrerequisite → the mechanism 0.53
recliner → HasPrerequisite → the user 0.52
recliner → HasPrerequisite → 6of wall clearance 0.25