create alias belt_unbuckled (0) -> open_belt (902)
create alias belt_undone (2) -> open_belt (902)
create alias undone_belt (2) -> open_belt (902)
create alias unbuckled_belt (3) -> open_belt (902)
create alias unbuckled (1) -> open_belt (902)
create implication open_belt (902) -> belt (64814)