Assertion list for term "symbolic of obstacle".

Results from Ascent++: 1
mountain ReceivesActionsymbolic of obstacle 0.25