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