Assertion list
lucid dreaming (subgroup of dream ) → IsA
Results from Ascent++: 1
lucid dreaming → IsA → skill 0.59