Open eriktorbjorn opened 4 years ago
You can close both the aquarium and the bucket.
This is because both AQUARIUM and BUCKET have CONTBIT. The teapot is also a container, but TEAPOT-F stops you from closing it. The same thing could be done in AQUARIUM-FCN and BUCKET-FCN.
AQUARIUM
BUCKET
CONTBIT
TEAPOT-F
AQUARIUM-FCN
BUCKET-FCN
You can close both the aquarium and the bucket.
This is because both
AQUARIUM
andBUCKET
haveCONTBIT
. The teapot is also a container, butTEAPOT-F
stops you from closing it. The same thing could be done inAQUARIUM-FCN
andBUCKET-FCN
.