Prompt
source: what is the shape of square cat that is playing with cat ?
target: query_attr [ shape ] ( with_relation ( filter ( square , find ( cat ) ) , playing with , find ( cat ) ) )
source: either the number of dog that is playing with black round dog that is chasing black animal is less than 3 or some of mouse are playing with square brown animal that is chasing dog
target: or ( lt ( count ( with_relation ( find ( dog ) , playing with , with_relation ( filter ( black , filter ( round , find ( dog ) ) ) , chasing , filter ( black , find ( animal ) ) ) ) ) , 3 ) , some ( find ( mouse ) , with_relation ( scene ( ) , playing with , with_relation ( filter ( square , filter ( brown , find ( animal ) ) ) , chasing , find ( dog ) ) ) ) )
source: either there is mouse or the color of cat is equal to the color of square round animal
target: or ( exists ( find ( mouse ) ) , eq ( query_attr [ color ] ( find ( cat ) ) , query_attr [ color ] ( filter ( square , filter ( round , find ( animal ) ) ) ) ) )
source: what is the color of black cat that is playing with dog that is chasing round gray cat ?
target: query_attr [ color ] ( with_relation ( filter ( black , find ( cat ) ) , playing with , with_relation ( find ( dog ) , chasing , filter ( round , filter ( gray , find ( cat ) ) ) ) ) )
source: both there is triangle mouse and the number of black gray animal is equal to the number of gray dog that is playing with dog that is looking at dog
target: and ( exists ( filter ( triangle , find ( mouse ) ) ) , eq ( count ( filter ( black , filter ( gray , find ( animal ) ) ) ) , count ( with_relation ( filter ( gray , find ( dog ) ) , playing with , with_relation ( find ( dog ) , looking at , find ( dog ) ) ) ) ) )
source: is the number of triangle white mouse 3 or 2 ?
target: choose ( count ( filter ( triangle , filter ( white , find ( mouse ) ) ) ) , 3 , 2 )
source: both there is animal and the number of dog is greater than the number of square mouse that is looking at mouse that is looking at white dog
target: and ( exists ( find ( animal ) ) , gt ( count ( find ( dog ) ) , count ( with_relation ( filter ( square , find ( mouse ) ) , looking at , with_relation ( find ( mouse ) , looking at , filter ( white , find ( dog ) ) ) ) ) ) )
source: both all of gray square animal that is playing with cat are square and the number of animal that is chasing dog that is looking at round black mouse is less than 2
target: and ( all ( with_relation ( filter ( gray , filter ( square , find ( animal ) ) ) , playing with , find ( cat ) ) , filter ( square , scene ( ) ) ) , lt ( count ( with_relation ( find ( animal ) , chasing , with_relation ( find ( dog ) , looking at , filter ( round , filter ( black , find ( mouse ) ) ) ) ) ) , 2 ) )
source: is the number of dog that is chasing mouse that is playing with cat 3 or 2 ?
target: choose ( count ( with_relation ( find ( dog ) , chasing , with_relation ( find ( mouse ) , playing with , find ( cat ) ) ) ) , 3 , 2 )
source: is the shape of brown dog that is chasing cat square or square ?
target: choose ( query_attr [ shape ] ( with_relation ( filter ( brown , find ( dog ) ) , chasing , find ( cat ) ) ) , square , square )
source: what is the number of triangle triangle dog that is chasing cat that is chasing cat ?
target:
Output 🟢
count ( with_relation ( filter ( triangle , filter ( triangle , find ( dog ) ) ) , chasing , with_relation ( find ( cat ) , chasing , find ( cat ) ) ) )
Gold
count ( with_relation ( filter ( triangle , filter ( triangle , find ( dog ) ) ) , chasing , with_relation ( find ( cat ) , chasing , find ( cat ) ) ) )
Prompt
source: either some of white black cat are gray or the number of dog that is looking at mouse that is playing with black brown animal is equal to 4
target: or ( some ( filter ( white , filter ( black , find ( cat ) ) ) , filter ( gray , scene ( ) ) ) , eq ( count ( with_relation ( find ( dog ) , looking at , with_relation ( find ( mouse ) , playing with , filter ( black , filter ( brown , find ( animal ) ) ) ) ) ) , 4 ) )
source: the color of black cat that is playing with square mouse that is playing with animal is equal to the shape of dog that is playing with mouse
target: eq ( query_attr [ color ] ( with_relation ( filter ( black , find ( cat ) ) , playing with , with_relation ( filter ( square , find ( mouse ) ) , playing with , find ( animal ) ) ) ) , query_attr [ shape ] ( with_relation ( find ( dog ) , playing with , find ( mouse ) ) ) )
source: some of white dog are chasing dog that is chasing black cat
target: some ( filter ( white , find ( dog ) ) , with_relation ( scene ( ) , chasing , with_relation ( find ( dog ) , chasing , filter ( black , find ( cat ) ) ) ) )
source: the number of dog that is looking at triangle mouse is greater than 3
target: gt ( count ( with_relation ( find ( dog ) , looking at , filter ( triangle , find ( mouse ) ) ) ) , 3 )
source: the number of round gray mouse that is looking at animal is less than the number of round mouse
target: lt ( count ( with_relation ( filter ( round , filter ( gray , find ( mouse ) ) ) , looking at , find ( animal ) ) ) , count ( filter ( round , find ( mouse ) ) ) )
source: both the color of dog that is playing with cat that is playing with animal is equal to the shape of cat that is looking at white dog that is looking at cat and all of cat are playing with cat
target: and ( eq ( query_attr [ color ] ( with_relation ( find ( dog ) , playing with , with_relation ( find ( cat ) , playing with , find ( animal ) ) ) ) , query_attr [ shape ] ( with_relation ( find ( cat ) , looking at , with_relation ( filter ( white , find ( dog ) ) , looking at , find ( cat ) ) ) ) ) , all ( find ( cat ) , with_relation ( scene ( ) , playing with , find ( cat ) ) ) )
source: the number of mouse is equal to the number of black square mouse
target: eq ( count ( find ( mouse ) ) , count ( filter ( black , filter ( square , find ( mouse ) ) ) ) )
source: the shape of black cat that is playing with mouse that is playing with dog is equal to the color of gray dog that is chasing cat that is looking at cat
target: eq ( query_attr [ shape ] ( with_relation ( filter ( black , find ( cat ) ) , playing with , with_relation ( find ( mouse ) , playing with , find ( dog ) ) ) ) , query_attr [ color ] ( with_relation ( filter ( gray , find ( dog ) ) , chasing , with_relation ( find ( cat ) , looking at , find ( cat ) ) ) ) )
source: both there is cat and there is triangle dog
target: and ( exists ( find ( cat ) ) , exists ( filter ( triangle , find ( dog ) ) ) )
source: all of dog that is looking at triangle black dog that is chasing square gray mouse are square
target: all ( with_relation ( find ( dog ) , looking at , with_relation ( filter ( triangle , filter ( black , find ( dog ) ) ) , chasing , filter ( square , filter ( gray , find ( mouse ) ) ) ) ) , filter ( square , scene ( ) ) )
source: what is the number of square cat that is chasing brown triangle cat ?
target:
Output 🟢
count ( with_relation ( filter ( square , find ( cat ) ) , chasing , filter ( brown , filter ( triangle , find ( cat ) ) ) ) )
Gold
count ( with_relation ( filter ( square , find ( cat ) ) , chasing , filter ( brown , filter ( triangle , find ( cat ) ) ) ) )
Prompt
source: is the color of gray brown animal that is looking at dog black or brown ?
target: choose ( query_attr [ color ] ( with_relation ( filter ( gray , filter ( brown , find ( animal ) ) ) , looking at , find ( dog ) ) ) , black , brown )
source: is the shape of white gray mouse white or brown ?
target: choose ( query_attr [ shape ] ( filter ( white , filter ( gray , find ( mouse ) ) ) ) , white , brown )
source: either the number of white dog that is chasing triangle mouse that is looking at gray animal is greater than 3 or the number of black black cat that is chasing mouse is less than 4
target: or ( gt ( count ( with_relation ( filter ( white , find ( dog ) ) , chasing , with_relation ( filter ( triangle , find ( mouse ) ) , looking at , filter ( gray , find ( animal ) ) ) ) ) , 3 ) , lt ( count ( with_relation ( filter ( black , filter ( black , find ( cat ) ) ) , chasing , find ( mouse ) ) ) , 4 ) )
source: the number of gray triangle animal is greater than the number of square mouse
target: gt ( count ( filter ( gray , filter ( triangle , find ( animal ) ) ) ) , count ( filter ( square , find ( mouse ) ) ) )
source: none of animal that is looking at mouse are gray
target: none ( with_relation ( find ( animal ) , looking at , find ( mouse ) ) , filter ( gray , scene ( ) ) )
source: the color of brown square cat is equal to the shape of mouse
target: eq ( query_attr [ color ] ( filter ( brown , filter ( square , find ( cat ) ) ) ) , query_attr [ shape ] ( find ( mouse ) ) )
source: all of round round dog that is chasing animal that is chasing triangle dog are round
target: all ( with_relation ( filter ( round , filter ( round , find ( dog ) ) ) , chasing , with_relation ( find ( animal ) , chasing , filter ( triangle , find ( dog ) ) ) ) , filter ( round , scene ( ) ) )
source: is the number of white cat 2 or 2 ?
target: choose ( count ( filter ( white , find ( cat ) ) ) , 2 , 2 )
source: is the shape of square triangle dog black or round ?
target: choose ( query_attr [ shape ] ( filter ( square , filter ( triangle , find ( dog ) ) ) ) , black , round )
source: the shape of animal that is playing with cat that is chasing animal is equal to the shape of white gray mouse
target: eq ( query_attr [ shape ] ( with_relation ( find ( animal ) , playing with , with_relation ( find ( cat ) , chasing , find ( animal ) ) ) ) , query_attr [ shape ] ( filter ( white , filter ( gray , find ( mouse ) ) ) ) )
source: what is the number of square round animal ?
target:
Output 🟢
count ( filter ( square , filter ( round , find ( animal ) ) ) )
Gold
count ( filter ( square , filter ( round , find ( animal ) ) ) )
Prompt
source: both there is triangle animal and there is mouse
target: and ( exists ( filter ( triangle , find ( animal ) ) ) , exists ( find ( mouse ) ) )
source: what is the shape of brown white cat that is playing with round dog that is looking at round square mouse ?
target: query_attr [ shape ] ( with_relation ( filter ( brown , filter ( white , find ( cat ) ) ) , playing with , with_relation ( filter ( round , find ( dog ) ) , looking at , filter ( round , filter ( square , find ( mouse ) ) ) ) ) )
source: either the shape of animal is equal to round or all of mouse that is looking at white brown dog that is playing with dog are black
target: or ( eq ( query_attr [ shape ] ( find ( animal ) ) , round ) , all ( with_relation ( find ( mouse ) , looking at , with_relation ( filter ( white , filter ( brown , find ( dog ) ) ) , playing with , find ( dog ) ) ) , filter ( black , scene ( ) ) ) )
source: the number of triangle mouse that is looking at animal that is playing with round dog is less than 4
target: lt ( count ( with_relation ( filter ( triangle , find ( mouse ) ) , looking at , with_relation ( find ( animal ) , playing with , filter ( round , find ( dog ) ) ) ) ) , 4 )
source: both there is round cat and some of brown dog that is chasing square mouse that is chasing mouse are chasing black dog that is chasing cat
target: and ( exists ( filter ( round , find ( cat ) ) ) , some ( with_relation ( filter ( brown , find ( dog ) ) , chasing , with_relation ( filter ( square , find ( mouse ) ) , chasing , find ( mouse ) ) ) , with_relation ( scene ( ) , chasing , with_relation ( filter ( black , find ( dog ) ) , chasing , find ( cat ) ) ) ) )
source: both the number of square animal is greater than the number of dog and the number of gray mouse that is playing with dog is greater than the number of animal that is chasing square square animal that is looking at white square cat
target: and ( gt ( count ( filter ( square , find ( animal ) ) ) , count ( find ( dog ) ) ) , gt ( count ( with_relation ( filter ( gray , find ( mouse ) ) , playing with , find ( dog ) ) ) , count ( with_relation ( find ( animal ) , chasing , with_relation ( filter ( square , filter ( square , find ( animal ) ) ) , looking at , filter ( white , filter ( square , find ( cat ) ) ) ) ) ) ) )
source: both the number of triangle mouse is greater than the number of animal that is playing with cat that is looking at round square dog and the shape of gray round animal is equal to the color of round animal
target: and ( gt ( count ( filter ( triangle , find ( mouse ) ) ) , count ( with_relation ( find ( animal ) , playing with , with_relation ( find ( cat ) , looking at , filter ( round , filter ( square , find ( dog ) ) ) ) ) ) ) , eq ( query_attr [ shape ] ( filter ( gray , filter ( round , find ( animal ) ) ) ) , query_attr [ color ] ( filter ( round , find ( animal ) ) ) ) )
source: is the shape of cat that is chasing mouse that is looking at triangle brown mouse triangle or round ?
target: choose ( query_attr [ shape ] ( with_relation ( find ( cat ) , chasing , with_relation ( find ( mouse ) , looking at , filter ( triangle , filter ( brown , find ( mouse ) ) ) ) ) ) , triangle , round )
source: what is the shape of black round mouse that is chasing animal ?
target: query_attr [ shape ] ( with_relation ( filter ( black , filter ( round , find ( mouse ) ) ) , chasing , find ( animal ) ) )
source: both the number of square cat that is looking at animal that is chasing dog is equal to the number of black square mouse and the number of animal is greater than 2
target: and ( eq ( count ( with_relation ( filter ( square , find ( cat ) ) , looking at , with_relation ( find ( animal ) , chasing , find ( dog ) ) ) ) , count ( filter ( black , filter ( square , find ( mouse ) ) ) ) ) , gt ( count ( find ( animal ) ) , 2 ) )
source: what is the number of round square animal that is playing with triangle animal ?
target:
Output 🟢
count ( with_relation ( filter ( round , filter ( square , find ( animal ) ) ) , playing with , filter ( triangle , find ( animal ) ) ) )
Gold
count ( with_relation ( filter ( round , filter ( square , find ( animal ) ) ) , playing with , filter ( triangle , find ( animal ) ) ) )
Prompt
source: either some of round mouse are square or the color of gray white animal that is chasing brown dog is equal to square
target: or ( some ( filter ( round , find ( mouse ) ) , filter ( square , scene ( ) ) ) , eq ( query_attr [ color ] ( with_relation ( filter ( gray , filter ( white , find ( animal ) ) ) , chasing , filter ( brown , find ( dog ) ) ) ) , square ) )
source: the number of triangle cat that is looking at round white dog that is looking at triangle animal is greater than the number of cat
target: gt ( count ( with_relation ( filter ( triangle , find ( cat ) ) , looking at , with_relation ( filter ( round , filter ( white , find ( dog ) ) ) , looking at , filter ( triangle , find ( animal ) ) ) ) ) , count ( find ( cat ) ) )
source: none of dog that is playing with animal that is chasing dog are triangle
target: none ( with_relation ( find ( dog ) , playing with , with_relation ( find ( animal ) , chasing , find ( dog ) ) ) , filter ( triangle , scene ( ) ) )
source: is the color of mouse that is playing with white mouse that is playing with round brown mouse gray or brown ?
target: choose ( query_attr [ color ] ( with_relation ( find ( mouse ) , playing with , with_relation ( filter ( white , find ( mouse ) ) , playing with , filter ( round , filter ( brown , find ( mouse ) ) ) ) ) ) , gray , brown )
source: the number of dog that is playing with triangle animal is less than the number of round dog that is playing with dog
target: lt ( count ( with_relation ( find ( dog ) , playing with , filter ( triangle , find ( animal ) ) ) ) , count ( with_relation ( filter ( round , find ( dog ) ) , playing with , find ( dog ) ) ) )
source: what is the color of round animal that is looking at brown mouse that is looking at animal ?
target: query_attr [ color ] ( with_relation ( filter ( round , find ( animal ) ) , looking at , with_relation ( filter ( brown , find ( mouse ) ) , looking at , find ( animal ) ) ) )
source: is the shape of gray dog square or brown ?
target: choose ( query_attr [ shape ] ( filter ( gray , find ( dog ) ) ) , square , brown )
source: is the color of triangle round mouse gray or gray ?
target: choose ( query_attr [ color ] ( filter ( triangle , filter ( round , find ( mouse ) ) ) ) , gray , gray )
source: either the number of cat is equal to the number of black gray mouse that is looking at triangle animal or the number of cat that is playing with cat that is chasing gray animal is greater than the number of dog
target: or ( eq ( count ( find ( cat ) ) , count ( with_relation ( filter ( black , filter ( gray , find ( mouse ) ) ) , looking at , filter ( triangle , find ( animal ) ) ) ) ) , gt ( count ( with_relation ( find ( cat ) , playing with , with_relation ( find ( cat ) , chasing , filter ( gray , find ( animal ) ) ) ) ) , count ( find ( dog ) ) ) )
source: is the number of round brown mouse that is chasing animal 2 or 4 ?
target: choose ( count ( with_relation ( filter ( round , filter ( brown , find ( mouse ) ) ) , chasing , find ( animal ) ) ) , 2 , 4 )
source: what is the number of round brown dog that is chasing round square cat ?
target:
Output 🟢
count ( with_relation ( filter ( round , filter ( brown , find ( dog ) ) ) , chasing , filter ( round , filter ( square , find ( cat ) ) ) ) )
Gold
count ( with_relation ( filter ( round , filter ( brown , find ( dog ) ) ) , chasing , filter ( round , filter ( square , find ( cat ) ) ) ) )
Prompt
source: either the color of brown triangle mouse is equal to white or the number of dog is equal to the number of dog that is playing with square mouse
target: or ( eq ( query_attr [ color ] ( filter ( brown , filter ( triangle , find ( mouse ) ) ) ) , white ) , eq ( count ( find ( dog ) ) , count ( with_relation ( find ( dog ) , playing with , filter ( square , find ( mouse ) ) ) ) ) )
source: the shape of black black animal that is playing with dog that is looking at square round dog is equal to the color of dog that is looking at brown square dog
target: eq ( query_attr [ shape ] ( with_relation ( filter ( black , filter ( black , find ( animal ) ) ) , playing with , with_relation ( find ( dog ) , looking at , filter ( square , filter ( round , find ( dog ) ) ) ) ) ) , query_attr [ color ] ( with_relation ( find ( dog ) , looking at , filter ( brown , filter ( square , find ( dog ) ) ) ) ) )
source: both the number of round brown animal that is chasing triangle animal is less than the number of cat and the number of white white animal is less than 2
target: and ( lt ( count ( with_relation ( filter ( round , filter ( brown , find ( animal ) ) ) , chasing , filter ( triangle , find ( animal ) ) ) ) , count ( find ( cat ) ) ) , lt ( count ( filter ( white , filter ( white , find ( animal ) ) ) ) , 2 ) )
source: both the color of mouse that is chasing square white cat is equal to round and there is triangle square mouse
target: and ( eq ( query_attr [ color ] ( with_relation ( find ( mouse ) , chasing , filter ( square , filter ( white , find ( cat ) ) ) ) ) , round ) , exists ( filter ( triangle , filter ( square , find ( mouse ) ) ) ) )
source: either the color of mouse that is playing with animal that is looking at round gray animal is equal to round or the color of cat that is playing with mouse that is looking at brown mouse is equal to the color of gray mouse
target: or ( eq ( query_attr [ color ] ( with_relation ( find ( mouse ) , playing with , with_relation ( find ( animal ) , looking at , filter ( round , filter ( gray , find ( animal ) ) ) ) ) ) , round ) , eq ( query_attr [ color ] ( with_relation ( find ( cat ) , playing with , with_relation ( find ( mouse ) , looking at , filter ( brown , find ( mouse ) ) ) ) ) , query_attr [ color ] ( filter ( gray , find ( mouse ) ) ) ) )
source: is the shape of mouse black or gray ?
target: choose ( query_attr [ shape ] ( find ( mouse ) ) , black , gray )
source: is the color of round cat black or gray ?
target: choose ( query_attr [ color ] ( filter ( round , find ( cat ) ) ) , black , gray )
source: what is the shape of animal that is chasing dog that is chasing black black dog ?
target: query_attr [ shape ] ( with_relation ( find ( animal ) , chasing , with_relation ( find ( dog ) , chasing , filter ( black , filter ( black , find ( dog ) ) ) ) ) )
source: some of gray mouse are playing with dog
target: some ( filter ( gray , find ( mouse ) ) , with_relation ( scene ( ) , playing with , find ( dog ) ) )
source: the shape of square cat that is chasing cat that is playing with brown gray cat is equal to square
target: eq ( query_attr [ shape ] ( with_relation ( filter ( square , find ( cat ) ) , chasing , with_relation ( find ( cat ) , playing with , filter ( brown , filter ( gray , find ( cat ) ) ) ) ) ) , square )
source: what is the number of white dog that is chasing cat that is chasing triangle black animal ?
target:
Output 🟢
count ( with_relation ( filter ( white , find ( dog ) ) , chasing , with_relation ( find ( cat ) , chasing , filter ( triangle , filter ( black , find ( animal ) ) ) ) ) )
Gold
count ( with_relation ( filter ( white , find ( dog ) ) , chasing , with_relation ( find ( cat ) , chasing , filter ( triangle , filter ( black , find ( animal ) ) ) ) ) )
Prompt
source: both the number of animal is less than the number of black cat and there is animal
target: and ( lt ( count ( find ( animal ) ) , count ( filter ( black , find ( cat ) ) ) ) , exists ( find ( animal ) ) )
source: there is mouse that is looking at cat that is looking at triangle gray mouse
target: exists ( with_relation ( find ( mouse ) , looking at , with_relation ( find ( cat ) , looking at , filter ( triangle , filter ( gray , find ( mouse ) ) ) ) ) )
source: the shape of animal that is chasing cat that is playing with triangle white animal is equal to the shape of animal
target: eq ( query_attr [ shape ] ( with_relation ( find ( animal ) , chasing , with_relation ( find ( cat ) , playing with , filter ( triangle , filter ( white , find ( animal ) ) ) ) ) ) , query_attr [ shape ] ( find ( animal ) ) )
source: there is animal that is playing with cat that is looking at gray square cat
target: exists ( with_relation ( find ( animal ) , playing with , with_relation ( find ( cat ) , looking at , filter ( gray , filter ( square , find ( cat ) ) ) ) ) )
source: both the color of round cat is equal to the shape of black dog that is playing with cat and all of gray animal that is playing with round white animal that is looking at white cat are triangle
target: and ( eq ( query_attr [ color ] ( filter ( round , find ( cat ) ) ) , query_attr [ shape ] ( with_relation ( filter ( black , find ( dog ) ) , playing with , find ( cat ) ) ) ) , all ( with_relation ( filter ( gray , find ( animal ) ) , playing with , with_relation ( filter ( round , filter ( white , find ( animal ) ) ) , looking at , filter ( white , find ( cat ) ) ) ) , filter ( triangle , scene ( ) ) ) )
source: the shape of gray square dog that is chasing animal is equal to the shape of cat that is looking at mouse
target: eq ( query_attr [ shape ] ( with_relation ( filter ( gray , filter ( square , find ( dog ) ) ) , chasing , find ( animal ) ) ) , query_attr [ shape ] ( with_relation ( find ( cat ) , looking at , find ( mouse ) ) ) )
source: the color of dog is equal to the color of cat that is looking at round gray cat
target: eq ( query_attr [ color ] ( find ( dog ) ) , query_attr [ color ] ( with_relation ( find ( cat ) , looking at , filter ( round , filter ( gray , find ( cat ) ) ) ) ) )
source: either all of mouse that is looking at animal that is looking at triangle round dog are square or there is cat
target: or ( all ( with_relation ( find ( mouse ) , looking at , with_relation ( find ( animal ) , looking at , filter ( triangle , filter ( round , find ( dog ) ) ) ) ) , filter ( square , scene ( ) ) ) , exists ( find ( cat ) ) )
source: is the number of round square dog that is looking at black triangle cat that is chasing cat 2 or 4 ?
target: choose ( count ( with_relation ( filter ( round , filter ( square , find ( dog ) ) ) , looking at , with_relation ( filter ( black , filter ( triangle , find ( cat ) ) ) , chasing , find ( cat ) ) ) ) , 2 , 4 )
source: the shape of gray round dog that is playing with gray triangle mouse that is playing with round mouse is equal to black
target: eq ( query_attr [ shape ] ( with_relation ( filter ( gray , filter ( round , find ( dog ) ) ) , playing with , with_relation ( filter ( gray , filter ( triangle , find ( mouse ) ) ) , playing with , filter ( round , find ( mouse ) ) ) ) ) , black )
source: what is the number of animal that is chasing square round cat ?
target:
Output 🟢
count ( with_relation ( find ( animal ) , chasing , filter ( square , filter ( round , find ( cat ) ) ) ) )
Gold
count ( with_relation ( find ( animal ) , chasing , filter ( square , filter ( round , find ( cat ) ) ) ) )
Prompt
source: is the number of mouse that is chasing square square animal 3 or 4 ?
target: choose ( count ( with_relation ( find ( mouse ) , chasing , filter ( square , filter ( square , find ( animal ) ) ) ) ) , 3 , 4 )
source: is the shape of gray gray mouse square or square ?
target: choose ( query_attr [ shape ] ( filter ( gray , filter ( gray , find ( mouse ) ) ) ) , square , square )
source: the number of mouse that is looking at square dog is greater than 4
target: gt ( count ( with_relation ( find ( mouse ) , looking at , filter ( square , find ( dog ) ) ) ) , 4 )
source: is the number of gray dog that is playing with mouse that is looking at cat 2 or 2 ?
target: choose ( count ( with_relation ( filter ( gray , find ( dog ) ) , playing with , with_relation ( find ( mouse ) , looking at , find ( cat ) ) ) ) , 2 , 2 )
source: is the number of square triangle animal 3 or 4 ?
target: choose ( count ( filter ( square , filter ( triangle , find ( animal ) ) ) ) , 3 , 4 )
source: both the color of mouse that is chasing square cat is equal to the shape of animal that is chasing animal and there is white black cat
target: and ( eq ( query_attr [ color ] ( with_relation ( find ( mouse ) , chasing , filter ( square , find ( cat ) ) ) ) , query_attr [ shape ] ( with_relation ( find ( animal ) , chasing , find ( animal ) ) ) ) , exists ( filter ( white , filter ( black , find ( cat ) ) ) ) )
source: the number of square round cat that is chasing dog that is chasing dog is greater than the number of gray square dog
target: gt ( count ( with_relation ( filter ( square , filter ( round , find ( cat ) ) ) , chasing , with_relation ( find ( dog ) , chasing , find ( dog ) ) ) ) , count ( filter ( gray , filter ( square , find ( dog ) ) ) ) )
source: what is the color of square brown cat that is looking at brown animal that is looking at animal ?
target: query_attr [ color ] ( with_relation ( filter ( square , filter ( brown , find ( cat ) ) ) , looking at , with_relation ( filter ( brown , find ( animal ) ) , looking at , find ( animal ) ) ) )
source: what is the color of square white mouse that is playing with cat that is playing with square brown animal ?
target: query_attr [ color ] ( with_relation ( filter ( square , filter ( white , find ( mouse ) ) ) , playing with , with_relation ( find ( cat ) , playing with , filter ( square , filter ( brown , find ( animal ) ) ) ) ) )
source: is the color of brown cat that is looking at dog black or triangle ?
target: choose ( query_attr [ color ] ( with_relation ( filter ( brown , find ( cat ) ) , looking at , find ( dog ) ) ) , black , triangle )
source: what is the number of white square cat ?
target:
Output 🟢
count ( filter ( white , filter ( square , find ( cat ) ) ) )
Gold
count ( filter ( white , filter ( square , find ( cat ) ) ) )
Prompt
source: is the number of square cat that is chasing round black dog that is looking at white dog 2 or 4 ?
target: choose ( count ( with_relation ( filter ( square , find ( cat ) ) , chasing , with_relation ( filter ( round , filter ( black , find ( dog ) ) ) , looking at , filter ( white , find ( dog ) ) ) ) ) , 2 , 4 )
source: is the number of square dog that is chasing white brown cat 2 or 4 ?
target: choose ( count ( with_relation ( filter ( square , find ( dog ) ) , chasing , filter ( white , filter ( brown , find ( cat ) ) ) ) ) , 2 , 4 )
source: the number of gray mouse is greater than the number of round square animal that is looking at triangle black cat
target: gt ( count ( filter ( gray , find ( mouse ) ) ) , count ( with_relation ( filter ( round , filter ( square , find ( animal ) ) ) , looking at , filter ( triangle , filter ( black , find ( cat ) ) ) ) ) )
source: most of animal that is looking at round white mouse are square
target: most ( with_relation ( find ( animal ) , looking at , filter ( round , filter ( white , find ( mouse ) ) ) ) , filter ( square , scene ( ) ) )
source: either the number of dog that is looking at animal that is chasing dog is less than the number of mouse that is playing with round dog or none of triangle brown animal are looking at dog that is looking at animal
target: or ( lt ( count ( with_relation ( find ( dog ) , looking at , with_relation ( find ( animal ) , chasing , find ( dog ) ) ) ) , count ( with_relation ( find ( mouse ) , playing with , filter ( round , find ( dog ) ) ) ) ) , none ( filter ( triangle , filter ( brown , find ( animal ) ) ) , with_relation ( scene ( ) , looking at , with_relation ( find ( dog ) , looking at , find ( animal ) ) ) ) )
source: is the shape of animal that is chasing cat that is playing with animal triangle or gray ?
target: choose ( query_attr [ shape ] ( with_relation ( find ( animal ) , chasing , with_relation ( find ( cat ) , playing with , find ( animal ) ) ) ) , triangle , gray )
source: both the shape of animal that is looking at triangle mouse that is playing with mouse is equal to triangle and the color of mouse that is playing with mouse is equal to the shape of cat
target: and ( eq ( query_attr [ shape ] ( with_relation ( find ( animal ) , looking at , with_relation ( filter ( triangle , find ( mouse ) ) , playing with , find ( mouse ) ) ) ) , triangle ) , eq ( query_attr [ color ] ( with_relation ( find ( mouse ) , playing with , find ( mouse ) ) ) , query_attr [ shape ] ( find ( cat ) ) ) )
source: either the shape of dog is equal to brown or the number of animal is greater than 4
target: or ( eq ( query_attr [ shape ] ( find ( dog ) ) , brown ) , gt ( count ( find ( animal ) ) , 4 ) )
source: what is the color of cat that is looking at gray dog that is chasing cat ?
target: query_attr [ color ] ( with_relation ( find ( cat ) , looking at , with_relation ( filter ( gray , find ( dog ) ) , chasing , find ( cat ) ) ) )
source: what is the color of cat that is looking at round cat that is playing with animal ?
target: query_attr [ color ] ( with_relation ( find ( cat ) , looking at , with_relation ( filter ( round , find ( cat ) ) , playing with , find ( animal ) ) ) )
source: what is the number of dog that is chasing square mouse ?
target:
Output 🟢
count ( with_relation ( find ( dog ) , chasing , filter ( square , find ( mouse ) ) ) )
Gold
count ( with_relation ( find ( dog ) , chasing , filter ( square , find ( mouse ) ) ) )
Prompt
source: is the number of cat that is looking at mouse that is playing with dog 4 or 2 ?
target: choose ( count ( with_relation ( find ( cat ) , looking at , with_relation ( find ( mouse ) , playing with , find ( dog ) ) ) ) , 4 , 2 )
source: is the color of round round mouse that is looking at square cat triangle or square ?
target: choose ( query_attr [ color ] ( with_relation ( filter ( round , filter ( round , find ( mouse ) ) ) , looking at , filter ( square , find ( cat ) ) ) ) , triangle , square )
source: is the shape of mouse that is chasing white gray dog white or brown ?
target: choose ( query_attr [ shape ] ( with_relation ( find ( mouse ) , chasing , filter ( white , filter ( gray , find ( dog ) ) ) ) ) , white , brown )
source: what is the color of black mouse that is playing with cat ?
target: query_attr [ color ] ( with_relation ( filter ( black , find ( mouse ) ) , playing with , find ( cat ) ) )
source: the color of round cat that is playing with round animal that is playing with white white cat is equal to the shape of white dog
target: eq ( query_attr [ color ] ( with_relation ( filter ( round , find ( cat ) ) , playing with , with_relation ( filter ( round , find ( animal ) ) , playing with , filter ( white , filter ( white , find ( cat ) ) ) ) ) ) , query_attr [ shape ] ( filter ( white , find ( dog ) ) ) )
source: there is dog that is playing with mouse that is looking at square dog
target: exists ( with_relation ( find ( dog ) , playing with , with_relation ( find ( mouse ) , looking at , filter ( square , find ( dog ) ) ) ) )
source: is the number of dog that is playing with brown animal 2 or 3 ?
target: choose ( count ( with_relation ( find ( dog ) , playing with , filter ( brown , find ( animal ) ) ) ) , 2 , 3 )
source: some of triangle round animal that is chasing white cat that is chasing square mouse are looking at dog that is playing with cat
target: some ( with_relation ( filter ( triangle , filter ( round , find ( animal ) ) ) , chasing , with_relation ( filter ( white , find ( cat ) ) , chasing , filter ( square , find ( mouse ) ) ) ) , with_relation ( scene ( ) , looking at , with_relation ( find ( dog ) , playing with , find ( cat ) ) ) )
source: what is the color of gray animal that is looking at white animal ?
target: query_attr [ color ] ( with_relation ( filter ( gray , find ( animal ) ) , looking at , filter ( white , find ( animal ) ) ) )
source: is the number of cat that is playing with triangle white mouse that is chasing square black dog 2 or 4 ?
target: choose ( count ( with_relation ( find ( cat ) , playing with , with_relation ( filter ( triangle , filter ( white , find ( mouse ) ) ) , chasing , filter ( square , filter ( black , find ( dog ) ) ) ) ) ) , 2 , 4 )
source: what is the number of gray round dog that is playing with round cat ?
target:
Output 🟢
count ( with_relation ( filter ( gray , filter ( round , find ( dog ) ) ) , playing with , filter ( round , find ( cat ) ) ) )
Gold
count ( with_relation ( filter ( gray , filter ( round , find ( dog ) ) ) , playing with , filter ( round , find ( cat ) ) ) )