Y

N

N

car

N

Y

N

truck

N

N

Y

wall

car

truck

wall

Y {uninstantiated system variable}