(<=> (Funterm ?Expr) (And (Term ?Expr) (List ?Expr) (Value-Type@Frame-Ontology ?Expr First Funconst) (Value-Cardinality@Frame-Ontology ?Expr First 1)))