Ascent++
Search
new cadet
subgroup of
cadet
,
1
assertions
CapableOf
1
enter the program
0.84