Assertion list
fig (primary) → HasPrerequisite
Results from Ascent++: 1
fig → HasPrerequisite → full sun 0.40