Assertion list
lcd (primary) → HasPrerequisite
Results from Ascent++: 1
lcd → HasPrerequisite → light source 0.29