% type definitions car(car_11). car(car_12). car(car_13). car(car_14). car(car_21). car(car_22). car(car_23). car(car_31). car(car_32). car(car_33). car(car_41). car(car_42). car(car_43). car(car_44). car(car_51). car(car_52). car(car_53). car(car_61). car(car_62). car(car_71). car(car_72). car(car_73). car(car_81). car(car_82). car(car_91). car(car_92). car(car_93). car(car_94). car(car_101). car(car_102). shape(elipse). shape(hexagon). shape(rectangle). shape(u_shaped). shape(triangle). shape(circle). shape(nil). train(east1). train(east2). train(east3). train(east4). train(east5). train(west6). train(west7). train(west8). train(west9). train(west10). closed(car_12). % 1 closed(car_23). closed(car_32). closed(car_33). closed(car_43). closed(car_52). closed(car_53). closed(car_61). closed(car_81). double(car_42). double(car_51). double(car_71). has_car(east1,car_11). % 11,12 has_car(east1,car_12). has_car(east1,car_13). has_car(east1,car_14). has_car(east2,car_21). has_car(east2,car_22). has_car(east2,car_23). has_car(east3,car_31). has_car(east3,car_32). has_car(east3,car_33). has_car(east4,car_41). has_car(east4,car_42). has_car(east4,car_43). has_car(east4,car_44). has_car(east5,car_51). has_car(east5,car_52). has_car(east5,car_53). has_car(west10,car_101). has_car(west10,car_102). has_car(west6,car_61). has_car(west6,car_62). has_car(west7,car_71). has_car(west7,car_72). has_car(west7,car_73). has_car(west8,car_81). has_car(west8,car_82). has_car(west9,car_91). has_car(west9,car_92). has_car(west9,car_93). has_car(west9,car_94). jagged(car_73). jagged(car_92). load(car_101,rectangle,1). load(car_102,rectangle,2). load(car_11,rectangle,3). % 6,7,8 load(car_12,triangle,1). load(car_13,hexagon,1). load(car_14,circle,1). load(car_21,triangle,1). load(car_22,rectangle,1). load(car_23,circle,2). load(car_31,circle,1). load(car_32,triangle,1). load(car_33,triangle,1). load(car_41,triangle,1). load(car_42,triangle,1). load(car_43,rectangle,1). load(car_44,rectangle,1). load(car_51,triangle,1). load(car_52,rectangle,1). load(car_53,circle,1). load(car_61,circle,3). load(car_62,triangle,1). load(car_71,circle,1). load(car_72,triangle,1). load(car_73,nil,0). load(car_81,rectangle,1). load(car_82,circle,1). load(car_91,circle,1). load(car_92,rectangle,1). load(car_93,circle,1). load(car_93,rectangle,1). long(car_102). long(car_11). % 2 long(car_13). long(car_33). long(car_61). long(car_73). long(car_81). long(car_92). open_car(car_101). open_car(car_102). open_car(car_11). % 3 open_car(car_13). open_car(car_14). open_car(car_21). open_car(car_22). open_car(car_31). open_car(car_41). open_car(car_42). open_car(car_44). open_car(car_51). open_car(car_62). open_car(car_71). open_car(car_72). open_car(car_82). open_car(car_91). open_car(car_93). open_car(car_94). car_shape(car_101,u_shaped). car_shape(car_102,rectangle). car_shape(car_11,rectangle). % 4,5 car_shape(car_12,rectangle). car_shape(car_13,rectangle). car_shape(car_14,rectangle). car_shape(car_21,u_shaped). car_shape(car_22,u_shaped). car_shape(car_23,rectangle). car_shape(car_31,rectangle). car_shape(car_32,hexagon). car_shape(car_33,rectangle). car_shape(car_41,u_shaped). car_shape(car_42,rectangle). car_shape(car_43,elipse). car_shape(car_44,rectangle). car_shape(car_51,rectangle). car_shape(car_52,rectangle). car_shape(car_53,rectangle). car_shape(car_61,rectangle). car_shape(car_62,rectangle). car_shape(car_71,rectangle). car_shape(car_72,u_shaped). car_shape(car_73,rectangle). car_shape(car_81,rectangle). car_shape(car_82,u_shaped). car_shape(car_91,u_shaped). car_shape(car_92,rectangle). car_shape(car_93,rectangle). car_shape(car_94,u_shaped). short(car_101). short(car_12). % 0 short(car_14). short(car_21). short(car_22). short(car_23). short(car_31). short(car_32). short(car_41). short(car_42). short(car_43). short(car_44). short(car_51). short(car_52). short(car_53). short(car_62). short(car_71). short(car_72). short(car_82). short(car_91). short(car_93). short(car_94). wheels(car_101,2). wheels(car_102,2). wheels(car_11,2). % 9,10 wheels(car_12,2). wheels(car_13,3). wheels(car_14,2). wheels(car_21,2). wheels(car_22,2). wheels(car_23,2). wheels(car_31,2). wheels(car_32,2). wheels(car_33,3). wheels(car_41,2). wheels(car_42,2). wheels(car_43,2). wheels(car_44,2). wheels(car_51,2). wheels(car_52,3). wheels(car_53,2). wheels(car_61,2). wheels(car_62,2). wheels(car_71,2). wheels(car_72,2). wheels(car_73,2). wheels(car_81,3). wheels(car_82,2). wheels(car_91,2). wheels(car_92,2). wheels(car_93,2). wheels(car_94,2).