public road subgroup of road, 6 assertions

IsA 1
road 0.25