Assertion list
floor liner (subgroup of liner ) → ReceivesAction
Results from Ascent++: 1
floor liner → ReceivesAction → placed 0.68