Assertion list
latrine (primary) → HasA
Results from Ascent++: 1
latrine → HasA → solar powered led lighting syst… 0.47