Assertion list
coil (aspect of detector ) → HasProperty

Results from Ascent++: 5
coilHasProperty compatible 0.30
coilHasProperty large 0.25
coilHasProperty heavy 0.16
coilHasProperty perfect 0.16
coilHasProperty submersible 0.16