Assertion list
modal logic (subgroup of logic ) → CapableOf
Results from Ascent++: 1
modal logic → CapableOf → deal with the modes of truth 0.68