Assertion list
dog (aspect of billy ) → HasProperty
Results from Ascent++: 4
dog → HasProperty → welcome 0.59
dog → HasProperty → friendly 0.49
dog → HasProperty → asleep 0.25
dog → HasProperty → comfortable 0.25