Assertion list
rooftop tent (subgroup of tent ) → CapableOf

Results from Ascent++: 2
rooftop tentCapableOf unfold in minute 0.59
rooftop tentCapableOf take tool 0.16